Some facts about Kurt Gödel
From MaRDI portal
Publication:3910497
DOI10.2307/2273764zbMath0461.01014OpenAlexW2148404674MaRDI QIDQ3910497
Publication date: 1981
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273764
Related Items (8)
RUSSELL AND GÖDEL ⋮ Proofs as Objects ⋮ Gödel on Tarski ⋮ Discussion on the foundation of mathematics ⋮ Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections ⋮ Only Two Letters: The Correspondence between Herbrand and Gödel ⋮ Turing oracle machines, online computing, and three displacements in computability theory ⋮ Kurt Gödel in sharper focus
This page was built for publication: Some facts about Kurt Gödel
