두문자어 대위법
이 대화는 특히 문학적인 기교가 돋보인다. 거북의 기행은 재미도 있거니와 괴델의 불완전성 정리의 핵심적인 일부를 드러낸다. 이 대화는 이중, 삼중으로 고안되었으면서도 내용이 알차다.
제4장 무모순성, 완전성, 그리고 기하학
이 장은 괴델의 정리를 개괄하는 데에서 출발한다. 이어서 그 정리에서 핵심적인 부분인 형식체계의 특징 무모순성과 완전성을 제시한다. 특히 외부 세계와의 무모순성, 내적 무모순성 등의 개념과 완전성의 개념은 형식체계를 보는 예리한 관점을 보여준다. 특히 형식체계의 기호들은 무정의 용어로, 이는 기하학의 발전 과정을 관통한다.
오늘의 독회 부분 : 두문자어 대위법/제4장 무모순성, 완전성, 그리고 기하학
정해진 본문을 읽고 드는 생각, 느낀 점이나 궁금한 점 등 다양하게 자신의 의견을 나누시면 됩니다.
다음 독회 일정 : 2021년 10월 12일 20시
다음 독회 부문 : 작은 화성의 미로/제5장 재귀적 구조와 과정
- dc official App
댓글 0