[spindle]

I saw Conway talk on Gödel’s incompleteness theorems shortly before he went to Princeton, and the proof he gave was the standard one (although very entertainingly and efficiently presented).