On: Self-reference and Logic (2005) [pdf]

[CliffStoll]

An excellent paper, especially reviewing the connections of Peano, Tarski, and Godel.

I'm surprised that he did not mention Jim Propp's self=referential aptitude test. It starts with:

> 1. The first question whose answer is B is question > (A) 1 > (B) 2 > (C) 3 > (D) 4 > (E) 5

And, of course, Bolander's paper ends with an utterly delightful final sentence!