Tag Archives: Presburger

On Being Given to Know

  1. What if we could upload books to our brains?
  2. What if a machine could tell us what was true?

We may speculate, and it is interesting that we do speculate, because I think the questions do not ultimately make sense—not the sense that seems to be intended anyway, whereby something can be got for nothing.

View from Şavşat

Continue reading

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.

I shall review the mathematics of the theorem, first in outline, later in more detail. The mathematics is difficult. I have trouble reproducing it at will and even just confirming what I have already written about it below (for I am adding these words a year after the original publication of this essay).

The difficulty of Gödel’s mathematics is part of the point of this essay. A person who thinks Gödel’s Theorem is unsurprising is probably a person who does not understand it.

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