Metadata
Author: WikiMatrix
Data
English[en]
Using Heft 15 of Gödel's still-unpublished Arbeitshefte , John W. Dawson Jr. conjectures that Gödel discovered a proof for the independence of the axiom of choice from finite type theory, a weakened form of set theory, while in Blue Hill in 1942.
Dutch[nl]
Uit Heft 15 van Gödels nog niet gepubliceerde Arbeitshefte , maakt John W. Dawson, Jr. op dat Gödel tijdens dat verblijf in Blue Hill in 1942 een bewijs ontdekte voor de onafhankelijkheid van het keuze-axioma vanuit de eindige-type-leer, een afgezwakte vorm van de verzamelingenleer.