๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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

โœ Scribed by Timothy J. Carlson


Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
195 KB
Volume
105
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

โœฆ Synopsis


Reinhardt's strong mechanistic thesis, a formalization of "I know I am a Turing machine", is shown to be consistent with Epistemic Arithmetic.