Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis-Reference-Cited by-同舟云学术

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

Published:2000-11 Issue:1-3 Volume:105 Page:51-82
ISSN:0168-0072
Container-title:Annals of Pure and Applied Logic
language:en
Short-container-title:Annals of Pure and Applied Logic

Author:

Carlson Timothy J.

Publisher

Elsevier BV

Subject

Logic

Reference13 articles.

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. T.J. Carlson, Ordinal arithmetic and Σ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.

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Strengthening Consistency Results in Modal Logic;Electronic Proceedings in Theoretical Computer Science;2023-07-11

2. Patterns of resemblance and Bachmann-Howard fixed points;Selecta Mathematica;2021-12-18

3. Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability;Logic and Logical Philosophy;2021-11-29

4. Pure Σ2-elementarity beyond the core;Annals of Pure and Applied Logic;2021-10

5. On Reflection;The Philosophical Quarterly;2021-01-07