I Am a Strange Loop

by Douglas R. Hofstadter

X is false because there is no proof of X; X is false and so there is no proof of X. In a word, just as provability and truth are the same thing for a mathematician, so are nonprovability and falsity. They are synonymous.