Hobgoblin?
Brian Davies is a professor of mathematics at King’s College London. In the December Notices of the American Mathematical Society, he claims that arithmetic may, for all we know, be inconsistent:
Platonistically-inclined mathematicians would deny the possibility that Peano arithmetic could be flawed. From Kronecker onwards many consider that they have a direct insight into the natural numbers, which guarantees their existence. If the natural numbers exist and Peano’s axioms describe properties that they possess then, since the axioms can be instantiated, they must be consistent.”
“It is not possible to prove that Peano arithmetic is consistent”…?!
Where did Gödel say this? Gödel proved, in fact, according to a well-known mathematician at Princeton, that (letting PA stand for Peano Arithmetic),
— Edward Nelson,
Mathematics and Faith (pdf)
Remarkably, even after he has stated correctly Gödel’s result, Nelson, like Davies, concludes that
I prefer the argument that the existence of a model ensures the consistency of a theory.
For instance, the Toronto philosopher William Seager writes that
The relationship between consistency and the existence of a model is brought home by the following weblog entry that neatly summarizes a fallacious argument offered in the AMS Notices by Davies:
Consider the following list A1 of axioms.
(1) There is a natural number 0.
(2) Every natural number a has a successor, denoted by S(a).
(3) There is no natural number whose successor is 0.
(4) Distinct natural numbers have distinct successors: a = b if and only if S(a) = S(b).
(5) If a property is possessed by 0 and also by the successor of every natural number which possesses it, then it is possessed by all the natural numbers.
Now consider the following list A2 of axioms.
(1) G is a set of elements and these elements obey the group axioms.
(2) G is finite but not isomorphic to any known list of finite simple groups.
(3) G is simple, in other words, if N is a subset of G satisfying certain properties then N=G.
We can roughly compare A2 with A1. The second axiom in A2 can be thought of as analogous to the third axiom of A1. Also the third axiom of A2 is analogous to the fifth axiom of A1, insofar as it refers to an unspecified set with cetain properties and concludes that it is equal to G.
Now, as is generally believed by most group theorists, the system A2 is internally inconsistent and the proof its inconsistency runs for more than 10000 pages.
So who is to deny that the system A1 is also probably internally inconsistent! Particularly since Godel proved that you can not prove it is consistent (staying inside the system). May be the shortest proof of its inconsistency is one hundred million pages long!
— Posted by Krishna,
11/29/2005 11:46:00 PM,
at his weblog,
“Quasi-Coherent Ruminations”
An important difference between A1 (the set of axioms of Peano arithmetic) and A2 (a set of axioms that describe a new, unknown, finite simple group) is that A1 is known to have a model (the nonnegative integers) and A2 is not known to have a model.
Therefore, according to Seager’s argument, A1 is consistent and A2 may or may not be consistent.
The degree to which Seager’s argument invokes Platonic realism is debatable. Less debatable is the quasireligious faith in nominalism proclaimed by Davies and Nelson. Nelson’s own account of a religious experience in 1976 at Toronto is instructive.
— Edward Nelson,
Mathematics and Faith (pdf)
Nelson’s “Mathematics and Faith” was written for the Jubilee for Men and Women from the World of Learning held at the Vatican, 23-24 May 2000. It concludes with an invocation of St. Paul:
— Edward Nelson,
Mathematics and Faith (pdf)
Belief in the consistency of arithmetic may or may not be foolish, and therefore an Emersonian hobgoblin of little minds, but bullshit is bullshit, whether in London, in Princeton, in Toronto, or in Rome.