scientific article; zbMATH DE number 5037238

MaRDI QIDQ5477995zbMATH OpenFDO

Authors Martin Davis

Publication date 29 June 2006

Full work available at URL http://www.ams.org/notices/200604/fea-davis.pdf

zbMATH Keywords

philosophy of mathematicsincompleteness theoremsGödel

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30) Undecidability and degrees of sets of sentences (03D35) Axiomatics of classical set theory and its fragments (03E30) Computability and recursion theory (03D99)

Recommendations

• Gödel's incompleteness theorem
• On the incompleteness theorems
• scientific article; zbMATH DE number 53543
• Gödel's incompleteness theorems
• scientific article; zbMATH DE number 1749189
• scientific article; zbMATH DE number 815055
• scientific article; zbMATH DE number 2222027
• scientific article; zbMATH DE number 2176167
• Gödel's third incompleteness theorem

Cited in

(10)

• In search of the sources of incompleteness
• scientific article; zbMATH DE number 3891318 (Why is no real title available?)
• scientific article; zbMATH DE number 1051668 (Why is no real title available?)
• Incompleteness in linear time
• Boolos-style proofs of limitative theorems
• On the diagonal lemma of Gödel and Carnap
• Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
• The incompleteness theorems after 70 years
• scientific article; zbMATH DE number 5037243 (Why is no real title available?)
• A Note on Boolos' Proof of the Incompleteness Theorem

This page was built for publication:

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