The impact of Gödel's incompleteness theorems on mathematics

MaRDI QIDQ2856483zbMATH OpenFDO

Authors Angus Macintyre

Publication date 29 October 2013

zbMATH Keywords

arithmeticphilosophy of mathematicslogical number theoryGödel's incompleteness theorems

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03) Decidability of theories and sets of sentences (03B25) Gödel numberings and issues of incompleteness (03F40) Development of contemporary mathematics (01A65) Decidability (number-theoretic aspects) (11U05)

Recommendations

• Publication:4490111
• scientific article; zbMATH DE number 4059394
• Gödel incompleteness theorems and the limits of their applicability. I
• Gödel's incompleteness theorems and computer science
• Gödel's incompleteness theorems

Cited in

(5)

• Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions
• Set theory and the analyst
• Grothendieck's unifying vision of geometry
• The scope of Gödel's first incompleteness theorem
• scientific article; zbMATH DE number 5037243 (Why is no real title available?)

This page was built for publication: The impact of Gödel's incompleteness theorems on mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2856483)