비엔나의 Reichsrat 까페 : 괴델이 불완전성 정리를 처음 발표한 곳

캐나다 논리학자 Richard Zach의 블로그[1]를 보니, 대략 84년전인 1930년 8월 26일, 비엔나에 소재한 Café Reichsrat에서 괴델은 Rudolf Carnap, Herbert Feigl, Friedrich Waismann에게 불완전성 정리를 처음으로 발표했다고 한다. 이들은 모두 비엔나 대학 철학 동아리인 Vienna Circle의 회원이었다고 한다.

이 까페에서 수학기초론에 대한 유명한 심포지움이 있었다고 하는데, 위 블로그의 설명으로는 Carnap이 논리주의를, Arend Heyting이 직관주의를, 폰 노이만이 공리주의를 설명했다고 한다. [2]에 자세한 이야기가 있다고 하는데, 본인은 안 읽어봤다. ㅋ

근데 이 Reichsrat 까페는 오늘날 어디일까? 애석하게도 이 까페는 오늘날 남아있지 않다고 한다. Zach선생이 비엔나를 방문하는 괴델 순례자를 위해서 지도[3]를 만든 모양이다. 애석하게도 구글 스트리트 뷰는 안 되는 듯. 아 나도 비엔나에 한 번 여행가고 싶다.

 


[1] Gödel’s Vienna: Finding Café Reichsrat in Logblog: Richard Zach’s Logic Blog
[2] John W. Dawson, Jr., Karl Sigmund, 2006. Gödel’s Vienna The Mathematical Intelligencer 28(3), 44-55
[3] https://mapsengine.google.com/map/edit?mid=zbbc9mPcF_VQ.kixTKZNFGefU

답글 남기기

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

WordPress.com 로고

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

Twitter 사진

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

Facebook 사진

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

Google+ photo

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

%s에 연결하는 중