Notes on doubt

The Sentence That Cannot Prove Itself

What Goedel's incompleteness theorems say, precisely, about the limits of formal proof, and what they only resemble in older doubts about self-justifying belief.