린 정리 증명기의 이용법을 배울 멘티를 모집합니다

이 멘토링이 철학과 무슨 상관이 있는지가 궁금하실 수 있는데, 상호 작용 정리 증명기(증명 보조기)는 형식 철학을 연구하는 데 활용할 수 있습니다.

제 멘토링을 통해 린 정리 증명기의 이용법을 배우신 멘티 가운데 철학의 형식화에 관심 있는 분들은 컨트리뷰션 아카데미가 끝난 뒤에 저와 함께 형식 철학 학습 모임을 가지셔도 좋을 듯합니다. 제가 예전에 구상한 증명 보조기 학습 모임을 진행할 수도 있고, 아래의 참고 문헌 목록에 있는 형식 철학 입문서를 함께 읽을 수도 있어요.

참고 문헌