Gregory Chaitin, Kurt Gödel, Paradox, Algorithmic Information, Conservation Laws.
The goal should be to find the simplest, most natural proof, or as Grothendieck might put it, the context that makes the proof trivial. I believe I have found the natural context for thinking about incompleteness. Every theorem has an infinite number of possible proofs. GL: Your approach to