论文信息 - A Machine That Knows Its Own Code - 字舞流文

A Machine That Knows Its Own Code

We construct a machine that knows its own code, at the price of not knowing its own factivity.

Samuel A. Alexander | S. Alexander

[1] Stewart Shapiro,et al. Epistemic and Intuitionistic Arithmetic , 1985 .

[2] Michael Barr,et al. The Emperor's New Mind , 1989 .

[3] W. Reinhardt. Absolute Versions of Incompleteness Theorems , 1985 .

[4] Timothy J. Carlson. Ordinal arithmetic and $\Sigma_{1}$-elementarity , 1999, Arch. Math. Log..

[5] Paul Benacerraf,et al. God, The Devil, And Gödel , 1967 .

[6] Hilary Putnam,et al. After Gödel , 2006, Log. J. IGPL.

[7] Timothy J. Carlson,et al. Elementary patterns of resemblance , 2001, Ann. Pure Appl. Log..

[8] S. Alexander. The theory of several knowing machines , 2013 .

[9] J. Lucas. Minds, Machines and Gödel , 1961, Philosophy.

[10] P. Veenhuis. The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics , 1995 .

[11] Timothy J. Carlson,et al. Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis , 2000, Ann. Pure Appl. Log..