scientific article; zbMATH DE number 5037238

zbMATH Open1100.03003MaRDI QIDQ5477995FDOQ5477995

Martin Davis

Publication date: 29 June 2006

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

Title of this publication is not available (Why is that?)

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)

Cited In (8)

• Boolos-style proofs of limitative theorems
• Title not available (Why is that?)
• Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
• A Note on Boolos' Proof of the Incompleteness Theorem
• The incompleteness theorems after 70 years
• Title not available (Why is that?)
• Title not available (Why is that?)
• Incompleteness in linear time

   Recommendations

• Gödel's incompleteness theorem 👍 👎
• On the incompleteness theorems 👍 👎
• Title not available (Why is that?) 👍 👎
• Gödel's Incompleteness Theorems 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Gödel's third 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)