Some Unpublished Letters by G\"odel and von Neumann in the Fraenkel Archive
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.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.