To prove that no recursive theory of addition and multiplication of the counting numbers can be complete, Gödel relies on the distinction between the subjective and the objective. I suggested this in “Subjective and Objective,” while noting also that, for a computer, all is subjective.
Incomplete pavement
Altınova, Ayvalik, Balıkesir
September 9, 2025
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
Polytropy 