In memoriam Kurt Go¨del: His 1931 correspondence with zermelo on his incompletability theorem
1979; Elsevier BV; Volume: 6; Issue: 3 Linguagem: Inglês
10.1016/0315-0860(79)90127-7
ISSN1090-249X
Autores Tópico(s)History and Theory of Mathematics
ResumoShortly after publishing his now famous incompletability theorem in 1931, Kurt Go¨del and Ernst Zermelo corresponded about the nature and significance of Go¨del's result. The texts of the surviving letters are presented, preceded by an explanation of the circumstances of the correspondence and an indication of the historical significance of the points discussed. Kurz nach der Vero¨ffentlichung seines mittlerweilen beru¨hmten Unvollsta¨ndigkeits-Lehrsatzes in 1931, korrespondierten Kurt Go¨del und Ernst Zermelou¨ber die Art und Bedeutung von Go¨dels Resultat. Der Text der noch erhaltenen Briefe wird unter Vorausschickung einer Erkla¨rung der Umsta¨nde der Korrespodenz und Hinweis auf die historische Bedeutung der ero¨rterten Punkte pra¨sentiert. Peu apre`s la publication en 1931 de son, aujourd'hui ce´le`bre, the´ore`me d'incomple´tude, Kurt Go¨del correspondit avec Ernst Zermolo sur la nature et l'importance de ce re´sultat. Le texte des lettres qui nous sont parvenues est pre´sente´, pre´ce´de´d'une explication des circonstances entourant cette correspondance et d'indications sur la signification historique des sujects traite´s.
Referência(s)