Sixty years after Gödel
From MaRDI portal
Publication:1178182
DOI10.1007/BF03023829zbMath0739.01018OpenAlexW4242488379MaRDI QIDQ1178182
Publication date: 26 June 1992
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03023829
Related Items
Cites Work
- Unnamed Item
- In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
- The war of the frogs and the mice, or the crisis of the Mathematische Annalen
- Completing the Gödel-Zermelo correspondence
- A set of postulates for the foundation of logic
- A set of postulates for the foundation of logic. II
- The inconsistency of certain formal logics
- On the Development of Logics Between the Two World Wars
- Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
- A New Set of Independent Postulates for the Algebra of Logic with Special Reference to Whitehead and Russell's Principia Mathematica
- Extensions of some theorems of Gödel and Church
This page was built for publication: Sixty years after Gödel
