Tag Archives: Gödel

Mathematics and Logic

Here is another in the recent spate of mathematics posts. I take up now, as I did in my last post, some material that I had originally drafted for the first post in this series.

Whenever it has been designated for its own post, material can grow, as has the material of this post in the drafting. Large parts of this post are taken up with

  1. the notion (due to Collingwood) of criteriological sciences, logic being one of them;

  2. Gödel’s logical theorems of completeness and incompleteness.

Continue reading

Anthropology of Mathematics

This essay was long when originally published; now, on November 30, 2019, I have made it longer, in an attempt to clarify some points.

The essay begins with two brief quotations, from Collingwood and Pirsig respectively, about what it takes to know people.

  • The Pirsig quote is from Lila, which is somewhat interesting as a novel, but naive about metaphysics; it might have benefited from an understanding of Collingwood’s Essay on Metaphysics.

  • A recent article by Ray Monk in Prospect seems to justify my interest in Collingwood; eventually I have a look at the article.

Ideas that come up along the way include the following.

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

Boolean Arithmetic

Mathematics can be highly abstract, even when it remains applicable to daily life. I want to show this with the mathematics behind logic puzzles, such as how to derive a conclusion using all of the following premisses:

  1. Babies are illogical.
  2. Nobody is despised who can manage a crocodile.
  3. Illogical persons are despised.

The example, from Terence Tao’s blog, is attributed to Lewis Carroll. By the first and third premisses, babies are despised; by the second premiss then, babies cannot manage crocodiles.

George Boole, The Laws of Thought (1854), Open Court, 1940

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

NL II: “The Relation Between Body and Mind”

Index to this series

I continue making notes on The New Leviathan of R. G. Collingwood (1889–1943). Now my main concern is with the second chapter, “The Relation Between Body and Mind”; but I shall range widely, as I did for the first chapter.


Some writers begin with an outline, which they proceed to fill out with words. At least, they do this if they do what they are taught in school, according to Robert Pirsig:

He showed how the aspect of Quality called unity, the hanging-togetherness of a story, could be improved with a technique called an outline. The authority of an argument could be jacked up with a technique called footnotes, which gives authoritative reference. Outlines and footnotes are standard things taught in all freshman composition classes, but now as devices for improving Quality they had a purpose.

That is from Zen and the Art of Motorcycle Maintenance, chapter 17.

Does anybody strictly follow the textbook method of writing? Continue reading