A direct proof of Gödel's incompleteness theorems

MaRDI QIDQ581402zbMATH OpenFDO

Authors Jose F. Prida

Publication date 1986

Published in Collectanea Mathematica (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/38673

zbMATH Keywords

Gödel's incompleteness theorems

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• Gödel incompleteness theorems and the limits of their applicability. I
• On the incompleteness theorems of Kurt Gödel
• On Godel's Second Incompleteness Theorem
• Gödel's incompleteness theorems
• scientific article; zbMATH DE number 1749189

Cited in

(11)

• scientific article; zbMATH DE number 2182417 (Why is no real title available?)
• Gödel's incompleteness theorems from a paraconsistent perspective
• scientific article; zbMATH DE number 481375 (Why is no real title available?)
• scientific article; zbMATH DE number 823604 (Why is no real title available?)
• scientific article; zbMATH DE number 3920465 (Why is no real title available?)
• A machine-assisted proof of Gödel's incompleteness theorems for the theory of hereditarily finite sets
• An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion
• scientific article; zbMATH DE number 4010472 (Why is no real title available?)
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• Rebuttal to the review of my paper ``An implication of Gödel's incompleteness theorem appeared in Zentralblatt für Mathematik
• A Note on Boolos' Proof of the Incompleteness Theorem

This page was built for publication: A direct proof of Gödel's incompleteness theorems

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