Gödel, Lean, Fra Angelico, Schubert (opens in new tab)

So far — but then I am still in the foothills, tinkering with early chapters — I have found just a couple of minor expositional stumbles in An Introduction to Gödel’s Theorems. I have spotted, though, quite a few places where I can make the text run just that bit more smoothly. And my friend […]