reading

Benacerraf and Putnam, Chalmers and Feferman

The replies, including the point that we only see the sentence is true by assuming consistency.

Connects to

• Lucas, Penrose
• Löb, Feferman
• the replies

Sources

1. Benacerraf, P. (1967). God, the Devil, and Gödel. The Monist 51(1), 9–32.
2. Putnam, H. (1960). Minds and Machines. In S. Hook (ed.), Dimensions of Mind. New York University Press.
3. Chalmers, D. (1995). Minds, machines, and mathematics. PSYCHE 2(9).
4. Feferman, S. (1995). Penrose’s Gödelian argument. PSYCHE 2(7).