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
• DOI: 10.1016/s0168-0072(99)00048-2

✦ Synopsis

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