scientific article; zbMATH DE number 3920465

zbMATH Open0576.03036MaRDI QIDQ3695280FDOQ3695280

Authors:

Publication date: 1981

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

Recommendations

• On the incompleteness theorems of Kurt Gödel
• scientific article; zbMATH DE number 1749189
• Gödel's incompleteness theorems
• Gödel incompleteness theorems and the limits of their applicability. I
• A direct proof of Gödel's incompleteness theorems

zbMATH Keywords

infinite processGödel's arithmetic logictypes of infinite extension processes

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (8)

• 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. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
• An implication of G\"odel's incompleteness theorem
• On Gödel incompleteness and finite combinatorics
• Some transfinite generalisations of Gödel's 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 Q3695280)