Tag Archives: Presburger

On Gödel’s Incompleteness Theorem

This is an appreciation of Gödel’s Incompleteness Theorem of 1931. I am provoked by a depreciation of the theorem.

In the “Gödel for Dummies” version of the Theorem, there are mathematical sentences that are both true and unprovable. This requires two points of clarification. Continue reading

The Private, Unskilled One

I went into Istanbul’s Pandora Bookshop a month ago, looking for an English translation of War and Peace, since the Garnett translation I had read at college was falling apart. I was told the Oxford World’s Classics edition (with the Maude translation) was coming the next week, and it did come.

Elif Batuman, The Idiot, in Nesin Matematik Köyü, Kayser Dağı Mevkii, Şirince, Selçuk, İzmir, Turkey, 2017.05.18

Continue reading