Category Archives: Mathematics

On the Idea of History

Note added, March 10–11, 2021. The bulk of this post concerns race in the theory of history, particularly the theory attributed to Johann Gottfried Herder (1744–1803). Not having read Herder for myself, I rely on the accounts of

  • R. G. Collingwood in § 2, “Herder,” of Part III of The Idea of History (1946),
  • Michael Forster in “Johann Gottfried von Herder,” Stanford Encyclopedia of Philosophy (summer 2019).

Somebody like Herder may introduce race as an hypothesis to explain history, but ultimately the hypothesis fails, by denying us the freedom that is essential to history as such. Nonetheless, Forster defends Herder as having

an impartial concern for all human beings … Herder does also insist on respecting, preserving, and advancing national groupings. However, this is entirely unalarming,

because, for one thing, “The ‘nation’ in question is not racial but linguistic and cultural.”

Change Collingwood’s word “race” to “linguistic and cultural grouping” then. I think his conclusion remains sound: “Once Herder’s theory of race is accepted, there is no escaping the Nazi marriage laws.”

More detail is in the post below. I go on to review the philosophy of history that Collingwood presents in the Introduction of The Idea of History. This book provided me with a title for the post.

I wrote a lot in this post, as I often do. Growing self-conscious for being opinionated about the theory of history, I listed the published evidence of my actually being an historian (an historian of ancient Greek mathematics in particular).

I originally wrote that my research had been inspired by a tweet. The author of that tweet also wrote the nice long comment on this post. However, although the tweet can be found on the Internet Archive, the author later deleted his Twitter account, and so the tweet appears on Twitter today as a gap in the thread above my own tweet in response to the other tweet.

That missing tweet referred to another tweet of the author, but the Internet Archive seems not to have saved it. It did save the present post; so if one were curious, one could see the changes that I have made since initial publication, or rather since September 29, 2020, when the Archive took the first snapshot.

The changes are for style and local clarity. Any large-scale changes would need me to recover the spirit that possessed me when I originally wrote.

I return to this post now, simply because a friend mentioned reading Middlemarch, and I remembered quoting George Eliot’s novel in a blog post, and that post turned out to be this one.

Had somebody mentioned reading Herder, I might have recalled writing about him in a blog post; that would be this post too.


Our environment may influence our feelings, but what we make of those feelings is up to us. Thus we are free; we are not constrained by some fixed “human nature”—or if we are, who is to say what its limits are?


Rembrandt van Rijn (and Workshop?), Dutch, 1606–1669,
The Apostle Paul, c. 1657, oil on canvas,
Widener Collection, National Gallery of Art

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.

  1. For C. S. Lewis, the reality of moral truth shows there is something beyond the scope of natural science.

  2. I say the same for mathematical truth.

  3. Truths we learn as children are open to question. In their educational childhoods, mathematicians have often learned wrongly the techniques of induction and recursion.

  4. The philosophical thesis of physicalism is of doubtful value.

  5. Mathematicians and philosophers who ape them (as in a particular definition of physicalism) use “iff” needlessly.

  6. A pair of mathematicians who use “iff” needlessly seem also to misunderstand induction and recursion.

  7. Their work is nonetheless admirable, like the famous expression of universal equality by the slave-driving Thomas Jefferson.

  8. Mathematical truth is discovered and confirmed by thought.

  9. Truth is a product of every kind of science; it is not an object of natural science.

  10. The distinction between thinking and feeling is a theme of Collingwood.

  11. In particular, thought is self-critical: it judges whether itself is going well.

  12. Students of mathematics must learn their right to judge what is correct, along with their responsibility to reach agreement with others about what is correct. I say this.

  13. Students of English must learn not only to judge their own work, but even that they can judge it. Pirsig says this.

  14. For Monk, Collingwood’s demise has meant Ryle’s rise: unfortunately so since, for one thing, Ryle has no interest in the past.

  15. In a metaphor developed by Matthew Arnold, Collingwood and Pirsig are two of my touchstones.

  16. Thoreau is another. He affects indifference to the past, but his real views are more subtle.

  17. According to Monk, Collingwood could have been a professional violinist; Ryle had “no ear for tunes.”

  18. For Collingwood, Victoria’s memorial to Albert was hideous; for Pirsig, Victorian America was the same.

  19. Again according to Monk, some persons might mistake Collingwood for Wittgenstein.

  20. My method of gathering together ideas, as outlined above, resembles Pirsig’s method, described in Lila, of collecting ideas on index cards.

  21. Our problems are not vague, but precise.


When Donald Trump won the 2016 U.S. Presidential election, which opinion polls had said he would lose, I wrote a post here called “How To Learn about People.” I thought for example that just calling people up and asking whom they would vote for was not a great way to learn about them, even if all you wanted to know was whom they would vote for. Why should people tell you the truth?

Saturn eclipse mosaic from Cassini

Continue reading

On Chapman’s Homer’s Iliad, Book XVIII

I analyze Book XVIII of the Iliad into seven scenes.

Branches against sky

Continue reading

Math, Maugham, and Man

Note added, August 28, 2023. The main purpose of this post of September 1, 2019, seems to have been to assemble some information about the etymologies of “man” and “woman,” because of ongoing controversy about what the words even mean today. I started to take up the controversy itself on December 30 of that year, in “Sex and Gender.” Meanwhile, this post suggests, or points out:

  • a generic “person” may still be male in people’s minds;
  • becoming a woman may be like becoming Jewish;
  • there are no gendered pronouns in Turkish;
  • the series freshman, sophomore, junior, senior is like pinkie, ring finger, middle finger;
  • Greek does not have such an interesting series for the fingers;
  • Greek mathematics includes Thales’s Theorem and Pappus’s Hexagon Theorem.

There does not seem to be any connection between the mathematics and the etymology here, except that I was studying both at the same time. I must have been reading The Razor’s Edge too, where Maugham

  • places himself in a tradition founded by Herodotus;
  • uses “he/him” for for somebody who can be a woman as well as a man.

More themes I took up:

  • what it means to be natural;
  • that I don’t consider myself ADHD;
  • the etymology of “squirrel”;
  • the Etymological Fallacy.

A dog lying in the shade of a beach umbrella looks at us; behind him are a woman and a man sitting facing away from us, towards the sea
Woman, man, and dog
Friday, August 18, 2023
Altınova, Balıkesir, Türkiye

Continue reading

NL I: “Body and Mind” Again

Index to this series

“We are beginning an inquiry into civilization,” writes Collingwood, “and the revolt against it which is the most conspicuous thing going on at the present time.” The time is the early 1940s.

Human tourists photographing sculptured supine blue ape with chrome testicles outside the Intercontinental Hotel, Prague Continue reading

Elliptical Affinity

After Descartes gave geometry the power of algebra in 1637, a purely geometrical theorem of Apollonius that is both useful and beautiful was forgotten. This is what I conclude from looking at texts from the seventeenth century on.

Piety

The post below is a way to record a passage in the Euthyphro where Socrates says something true and important about mathematics.

Crude depiction of bug-eyed figure grasping the torso of, and putting into his mouth the arm of, a smaller figure
Goya, [Cronus] Devouring His Son
(see below)

The passage is on a list of Platonic passages that I recently found, having written it in a notebook on May 23, 2018. The other passages are in the Republic; here they are, for the record, with some indication of why they are worth noting (translations are Shorey’s, originally from 1930 and 1935 in the old Loeb edition):

Continue reading

Logic of Elliptic Curves

In my 1997 doctoral dissertation, the main idea came as I was lying in bed one Sunday morning. 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.

Next to a slice from a tree trunk, a worn copy of the book Frege and Gödel: Two Fundamental Texts in Mathematical Logic, edited by Jean van Heijenoort

Continue reading

What It Takes

This essay ends up considering arguments that natural science – especially mathematical physics – is based on absolute presup­positions whose mythological expression is found in Christianity – especially the doctrine of Incarnation.

I take note along the way of continuing censorship of Wikipedia by the Turkish state.

The post falls into sections as follows.

  • Where to start. To the thesis that everybody can be a philosopher, an antithesis is that persons with the professional title of philosopher ought to know the history of their subject.

  • Ontology. Disdain for this history may lead to misunderstanding of Anselm’s supposed proof of the existence of God.

  • Presupposition. To prove anything, you need a pou sto, or what Collingwood calls an absolute presupposition.

  • Progression. Newton rejected antiquated presuppositions.

  • Reaction. Coal-burners and racists reject new presuppositions.

  • Universality. From the 47th chapter of the Tao Te Ching (in the translation of Gia-fu Feng and Jane English):

    Without going outside, you may know the whole world.
    Without looking through the window, you may see the ways of heaven.
    The farther you go, the less you know.
    Thus the wise know without traveling;
    See without looking;
    Work without doing.

  • Religion. To say that we can know the laws governing the entire universe is like saying a human can be God.

  • Censorship. Thus everybody who believes in mathematical physics is a Christian, if only in the way that, by the Sun Language Theory, everybody in the world already speaks Turkish.

  • Trinity. That the university has several departments, all studying the same world – this is supposed to correspond to the triune conception of divinity.

This post began as a parenthesis in another post, yet to be completed, about passion and reason. To anchor that post in an established text, I thought back to David Hume, according to whom,

Reason is, and ought only to be[,] the slave of the passions, and can never pretend to any other office than to serve and obey them.

David Hume, A Treatise of Human Nature

Continue reading