괴델의 불완전성 정리에 대한 새 교재

캐나다 논리학자 Richard Zach 선생의 블로그[1]를 보니 불완전성 정리에 대하여 새로운 교과서[2]를 만든 모양이다. 일전에 Vienna Circle 사람들이 모인 까페를 소개[3]한 그 사람이다. Open Logic Project 라는 사이트에 올려둔 모양인데, 무료로 pdf 파일을 받아볼 수 있다. TeX 코드도 깃허브[4]에 올려두었다고 한다. 벌써부터 영어 울렁증이…-_-

Open Logic Project가 뭐하는 덴가 봤는데, 사이트의 설명[5]에 따르면 수학적 훈련이 되지 않은 사람 (주로 철학도 또는 컴퓨터 공학도)을 대상으로 형식 논리 과정을 교육하기 위한 교재를 개발하는 집단 협력 사이트라고 한다. 페이스북 페이지[6]도 있다.

행여나 필요하신 분들은 받아 보시길. 아, 세상은 넓고 읽을 글은 많은데 게을러서 미치겠다. ㅋㅋㅋ

 


[1] New Textbook on Incompleteness by Richard Zach
[2] http://openlogicproject.org/2017/02/22/new-textbook-on-incompleteness/
[3] 내 백과사전 비엔나의 Reichsrat 까페 : 괴델이 불완전성 정리를 처음 발표한 곳 2014년 7월 25일
[4] https://github.com/rzach/phil479
[5] http://openlogicproject.org/about/
[6] https://www.facebook.com/openlogicproject/

Advertisements

답글 남기기

아래 항목을 채우거나 오른쪽 아이콘 중 하나를 클릭하여 로그 인 하세요:

WordPress.com 로고

WordPress.com의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

Twitter 사진

Twitter의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

Facebook 사진

Facebook의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

Google+ photo

Google+의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

%s에 연결하는 중