Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis

Annals of Pure and Applied Logic

Volumn 105, Issue 1-3, 2000, Pages 51-82

  Carlson, Timothy J ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

03B45; Epistemic arithmetic; Modal logic

Indexed keywords

EID: 0346300200     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(99)00048-2     Document Type: Article

References (13)

1. T.J. Carlson, A solution to Reinhardt's conjecture: EA+SMT is consistent, handwritten manuscript dated 12/20/83, 2 pp.
2. T.J. Carlson, Epistemic arithmetic and a conjecture of Reinhardt, Abstracts of papers presented to the American Mathematical Society, Vol. 5 (1994) p. 200.
3. 1 elementarity, preprint.
4. T.J. Carlson, The independence of the strong mechanistic thesis and the epistemic Church's thesis, in preparation.
5. R.C. Flagg, Church's thesis is consistent with epistemic arithmetic, in: S. Shapiro (Ed.), Intensional Mathematics (North-Holland, Amsterdam, 1988), pp. 121-172.
6. H. Friedman, The disjunction property implies the numeric existence property, Proc. National Academy of the Sciences, Vol. 72 (1975) pp. 2877-2878.
7. Kleene S.C. Disjunction and existence under implication in elementary intuitionistic formalisms. J. Symbolic Logic. 27:1962;11-18.
8. Montague R. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Acta Philos. Fennica. 16:1963;153-167.
9. W.N. Reinhardt, The consistency of a variant of Church's thesis with an axiomatic theory of an epistemic notion, Revista Colombiana de Matem'aticas, Special volume for the Proceedings of the 5th Latin American Symposium on Mathematical Logic, 1981, Vol. 19 (1985) pp. 177-200.
10. Reinhardt W.N. Necessity predicates and operators. J. Philos. Logic. 9:1980;437-450.
11. Reinhardt W.N. Absolute versions of the incompleteness theorems. Nous. 19:1985;317-346.
12. Reinhardt W.N. Epistemic theories and the interpretation of Godel's incompleteness theorems. J. Philos. Logic. 15:1986;427-474.
13. S. Shapiro, Epistemic and intuitionistic arithmetic, in: S. Shapiro (Ed.), Intensional Mathematics (North-Holland, Amsterdam, 1988), pp. 11-46.