scientific article; zbMATH DE number 3995667

MaRDI QIDQ4723728zbMATH OpenFDO

Authors William N. Reinhardt

Publication date 1985

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

zbMATH Keywords

modal operatorintuitive provabilityconsistency of a variant of Church's thesis

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Recommendations

• Formalizing Church's thesis
• Church's thesis and its epistemological status
• Thesis and variations
• Epistemic set theory
• scientific article; zbMATH DE number 3970744

Cited in

(12)

• Epistemic set theory
• scientific article; zbMATH DE number 4063090 (Why is no real title available?)
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• Collapsing knowledge and epistemic Church's thesis
• Proving Church’s Thesis
• Formalizing Church's thesis
• On Church’s thesis in cubical assemblies
• scientific article; zbMATH DE number 3970744 (Why is no real title available?)
• Thesis and variations
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
• Church's thesis from the point of view of provability interpretation
• Epistemic Church's thesis and absolute undecidability

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 Q4723728)