scientific article; zbMATH DE number 5037238
zbMATH Open1100.03003MaRDI QIDQ5477995FDOQ5477995
Authors: 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?)
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
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 (10)
- 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
- On the diagonal lemma of Gödel and Carnap
- The incompleteness theorems after 70 years
- In search of the sources of incompleteness
- Title not available (Why is that?)
- Title not available (Why is that?)
- Incompleteness in linear time
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)
