Category Archives: Philosophy of Mathematics

This category could also be a subcategory of Philosophy

Feminist Epistemology


By character count, the bulk of this post, in the third and final part, is my notes on

  1. Elizabeth Anderson, “Feminist Epistemology and Philosophy of Science,” Stanford Encyclopedia of Philosophy, February 13, 2020. 61 pages.

There are things I already thought, owing to philosophers such as Robin George Collingwood, Mary Midgley, and Robert Pirsig, if not Henry David Thoreau.

Continue reading


Pacifism is properly pacificism, the making of peace: not a belief or an attitude, but a practice. Mathematics then is pacifist, because learning it means learning that you cannot fight your way to the truth. Might does not make right. If others are going to agree with you, they will have to do it freely. Moreover, you cannot rest until they do agree with you, if you’ve got a piece of mathematics that you think is right; for you could be wrong, if others don’t agree.

The book *Dorothy Healey Remembers,* with photo of subject

Continue reading

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

Multiplicity of Mathematics

I continue with the recent posts about mathematics, which so far have been as follows.

  1. What Mathematics Is”: As distinct from the natural sciences, mathematics is the science whose findings are proved by deduction. I say this myself, and I find it at least implicit in an address by Euphemia Lofton Haynes.

  2. More of What It Is”: Some mathematicians do not distinguish mathematics from physics.

  3. Knottedness”: Topologically speaking, there is a sphere whose outside is not that of a sphere. The example is Alexander’s Horned Sphere, but it cannot actually be physically constructed.

  4. Why It Works”: Why there can be such a thing as the horned sphere.

When I first drafted the first post above, I said a lot more than I eventually posted. I saved it for later, and later is starting to come now.

Continue reading

More of What It Is

I say that mathematics is the deductive science; and yet there would seem to be mathematicians who disagree. I take up two cases here.

From Archimedes, De Planorum Aequilibriis,
in Heiberg’s edition (Leipzig: Teubner, 1881)

Continue reading

What Mathematics Is

Mathematics “has no generally accepted definition,” according to Wikipedia today. Two references are given for the assertion. I suggest that what really has no generally accepted definition is the subject of mathematics: the object of study, what mathematics is about. Mathematics itself can be defined by its method. As Wikipedia currently says also,

it has become customary to view mathematical research as establishing truth by rigorous deduction from appropriately chosen axioms and definitions.

I would put it more simply. Mathematics is the science whose findings are proved by deduction.

Continue reading


Because Herman Wouk was going to put physicists in a novel, Richard Feynman advised him to learn calculus: “It’s the language God talks.” I think I know what Feynman meant. Calculus is the means by which we express the laws of the physical universe. This is the universe that, according to the mythology, God brought into existence with such commands as, “Let there be light.” Calculus has allowed us to refine those words of creation from the Biblical account. Credited as a discover of calculus, as well as of physical laws, Isaac Newton was given an epitaph (ultimately not used) by Alexander Pope:

Nature and Nature’s laws lay hid in night:
God said, Let Newton be! and all was light.

I don’t know, but maybe Steven Strogatz quotes Pope’s words in his 2019 book, Infinite Powers: How Calculus Reveals the Secrets of the Universe. This is where I found out about Wouk’s visit with Feynman. I saw the book recently (Saturday, February 22, 2020) in Pandora Kitabevi here in Istanbul. I looked in the book for a certain topic that was of interest to me, but did not find it; then I found a serious misunderstanding.

book cover: Steven Strogatz, Infinite Powers 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 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 geometry of numbers in Euclid

This is about how the Elements of Euclid shed light, even on the most basic mathematical activity, which is counting. I have tried to assume no more in the reader than elementary-school knowledge of how whole numbers are added and multiplied.

How come 7 ⋅ 13 = 13 ⋅ 7? We can understand the product 7 ⋅ 13 as the number of objects that can be arranged into seven rows of thirteen each.

Seven times thirteen

Seven times thirteen

If we turn the rows into columns, then we end up with thirteen rows of seven each; now the number of objects is 13 ⋅ 7. Continue reading