Tag Archives: David Hilbert

Math, Maugham, and Man

A human being was once a man. A female of the species was a wife; a male, a were. The latter appeared in werewolf, but also were-eld, which became our world. Our woman comes from wife-man.

That is roughly the history, which I shall review later in a bit more detail. It would be a fallacy to think the history told us how we must use the words “woman” and “man” today. The history does suggest what may happen again: in a world dominated by men, a word like “person,” intended for any human being, may come to have its own meaning dominated by men. Yet again, this is no reason not to try to make our language better.

Continue reading

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