scientific article; zbMATH DE number 3995667

zbMATH Open0615.03043MaRDI QIDQ4723728FDOQ4723728

Authors: William N. Reinhardt 

Publication date: 1985

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

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

Recommendations

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

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)

Cited In (12)

• Title not available (Why is that?)
• Epistemic set theory
• 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
• Thesis and variations
• Title not available (Why is that?)
• 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)