We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO
< prev | next >
new | recent | 2301

Change to browse by:

math
math.HO

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive

Authors: Paolo Mancosu, Richard Zach
(Submitted on 24 Jan 2023)
Abstract: Several letters by Kurt G\"odel and Johann (J\'anos) 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\"odel of special interest, since they concern the relationship between G\"odel'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.
Subjects: Logic (math.LO); History and Overview (math.HO)
MSC classes: 03-03 (Primary) 03E30, 03F40 (Secondary)
Cite as: arXiv:2301.09814 [math.LO]
  (or arXiv:2301.09814v1 [math.LO] for this version)

Submission history

From: Richard Zach [view email]
[v1] Tue, 24 Jan 2023 04:46:25 GMT (43kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.