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

consistency of a variant of Church's thesisintuitive provabilitymodal operator

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

(13)

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

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)