Self-reference and incompleteness in a non-monotonic setting

DOI10.1007/BF01048689zbMATH Open0811.03003MaRDI QIDQ1332147FDOQ1332147

Authors: Timothy McCarthy 

Publication date: 1994

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Recommendations

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

zbMATH Keywords

nonmonotonic reasoning[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=analogues+of+G%EF%BF%BD%EF%BF%BDdel%27s+first+incompleteness+theorem&go=Go analogues of G��del's first incompleteness theorem]

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Cites Work

• Experimental logics and \(\Delta^0_2\)-theories
• Trial and error predicates and the solution to a problem of Mostowski
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Believing the axioms. I
• Title not available (Why is that?)

Cited In (17)

• An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion
• Finite mimicry of Gödel's incompleteness theorem
• Rebuttal to the review of my paper ``An implication of Gödel's incompleteness theorem appeared in Zentralblatt für Mathematik
• Program self-reference in constructive Scott subdomains
• Gödel's first theorem
• Self-reference and the Languages of Arithmetic
• Title not available (Why is that?)
• Infinitary self-reference in learning theory
• Self-verifying axiom systems, the incompleteness theorem and related reflection principles
• Title not available (Why is that?)
• An implication of G\"odel's incompleteness theorem
• The Gödelian foundations of self-reference, the liar and incompleteness: arms race in complex strategic innovation
• Self-monitoring machines and an \(\omega^ \omega\) hierarchy of loops
• Gödel's incompleteness phenomenon -- computationally
• A demonstration of the incompleteness of calculi of inductive inference
• Reference in arithmetic
• Heterologicality and imcompleteness

This page was built for publication: Self-reference and incompleteness in a non-monotonic setting

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