안녕하세요. 린 정리 증명기로는 맨날 눈팅만 하다가 글을 남깁니다. 예전에 차불휘님은 린 정리 증명기가 형식 철학 연구에 활용된다고 하셨습니다:
혹시 영향력 있는 형식 철학 연구에서 린 정리 증명기를 사용한 사례가 있을까요? 제가 린 정리 증명기도 모르고 형식 철학도 잘 몰라서 댓글 남깁니다.
안녕하세요. 린 정리 증명기로는 맨날 눈팅만 하다가 글을 남깁니다. 예전에 차불휘님은 린 정리 증명기가 형식 철학 연구에 활용된다고 하셨습니다:
혹시 영향력 있는 형식 철학 연구에서 린 정리 증명기를 사용한 사례가 있을까요? 제가 린 정리 증명기도 모르고 형식 철학도 잘 몰라서 댓글 남깁니다.