Tag Archives: Abraham Robinson

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


This is about limits in mathematics: both the technical notion that arises in calculus, and the barriers to comprehension that one might reach in one’s own studies. I am going to say a few technical things about the technical notion, but there is no reason why this should be a barrier to your reading: you can just skip the paragraphs that have special symbols in them.

Looking up something else in the online magazine called Slate, I noted a reprint of an article called “What It Feels Like to Be Bad at Math” from a blog called Math With Bad Drawings by Ben Orlin. Now teaching high-school mathematics, Mr Orlin recalls his difficulties in an undergraduate topology course. His memories help him understand the difficulties of his own students. When students do not study, why is this? It is because studying makes them conscious of how much they do not understand. They feel stupid, and they do not like this feeling. Continue reading