Discussion on the foundation of mathematics

DOI10.1080/01445348408837065zbMath0535.03001OpenAlexW2088046889WikidataQ57472877 ScholiaQ57472877MaRDI QIDQ3318743

John W. jun. Dawson

Publication date: 1984

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445348408837065

zbMATH Keywords

incompleteness theorem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (6)

Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics ⋮ Notes on the fate of logicism fromprincipia mathematicato gödel's incompletability theorem ⋮ Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems ⋮ Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections ⋮ Kurt Gödel in sharper focus ⋮ Carnap and the compulsions of interpretation: reining in the liberalization of empiricism

Cites Work

• Unnamed Item
• Unnamed Item
• In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
• Addenda and Corrigenda to The published work of Kurt Gödel
• Leben und Wirken Kurt Gödels
• The published work of Kurt Goedel: An annotated bibliography
• Logic in the twenties: the nature of the quantifier
• Some facts about Kurt Gödel
• On the Development of Logics Between the Two World Wars
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

This page was built for publication: Discussion on the foundation of mathematics