Title of article :
Knowledge, machines, and the consistency of Reinhardtʹs strong mechanistic thesis
Original Research Article
Author/Authors :
Timothy J. Carlson، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Abstract :
Reinhardtʹs strong mechanistic thesis, a formalization of “I know I am a Turing machine”, is shown to be consistent with Epistemic Arithmetic.
Keywords :
Modal logic , Epistemic arithmetic
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
