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

zbMATH Open1288.03003MaRDI QIDQ2856483FDOQ2856483

Authors: Angus Macintyre 

Publication date: 29 October 2013

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

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)

Cited In (5)

• Title not available (Why is that?)
• Grothendieck's unifying vision of geometry
• Set theory and the analyst
• The scope of Gödel's first incompleteness theorem
• Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions

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)