Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911442699026432 |
|---|---|
| author | Mancosu, Paolo Zach, Richard |
| author_facet | Mancosu, Paolo Zach, Richard |
| contents | Several letters by Kurt Gödel and Johann (János) von Neumann from the (so far uncatalogued) archive of Abraham (Adolf) Fraenkel at the National Library of Israel are published and discussed. These include two fragments by Gödel of special interest, since they concern the relationship between Gödel's incompleteness theorem and work by Herbrand, Presburger, and Zermelo, as well as a long letter from von Neumann from 1923 explaining his own approach to the axiomatization of set theory. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2301_09814 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive Mancosu, Paolo Zach, Richard Logic History and Overview 03-03 (Primary) 03E30, 03F40 (Secondary) Several letters by Kurt Gödel and Johann (János) von Neumann from the (so far uncatalogued) archive of Abraham (Adolf) Fraenkel at the National Library of Israel are published and discussed. These include two fragments by Gödel of special interest, since they concern the relationship between Gödel's incompleteness theorem and work by Herbrand, Presburger, and Zermelo, as well as a long letter from von Neumann from 1923 explaining his own approach to the axiomatization of set theory. |
| title | Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive |
| topic | Logic History and Overview 03-03 (Primary) 03E30, 03F40 (Secondary) |
| url | https://arxiv.org/abs/2301.09814 |