A direct proof of Gödel's incompleteness theorems

zbMATH Open0627.03042MaRDI QIDQ581402FDOQ581402

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

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

zbMATH Keywords

Gödel's incompleteness theorems

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (11)

• An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• A Note on Boolos' Proof of the Incompleteness Theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Gödel's incompleteness theorems from a paraconsistent perspective
• Title not available (Why is that?)
• A machine-assisted proof of Gödel's incompleteness theorems for the theory of hereditarily finite sets

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)