In The psychology of invention in the mathematical field, p. 53, Hadamard makes the following claim:

enter image description here

Is his point that there must, in any axiomatic theory, be undefined terms, and if you write the parallel postulate entirely expanded, i.e., with definienda substituted for definiens, then you will see that its not a truth of logic? But that seems completely off. You may still "see" that its a truth for perceptual space (let us grant, for the sake of the argument), and moreover, you may still fail to see that it isn't implied by the other axioms+logic. Thus, while you may arguably conceive of the possiblity of non-Euclidean axiom systems, you might still not yet perceive that of non-Euclidean geometries (qua sciences of space); and in fact, without a proof of relative consistency of these systems, e.g. by an inner model in Euclidean geometry, or by a model in R, you aren't technically allowed to even assume so much as the possibility of these systems, since (lacking such proof), the PP might -- for all you know -- after all be a consequence of the other axioms, just that you haven't found the proof yet (which we know in fact doesn't exist).

Am I completely misunderstanding Hadamard's point here?

Edit: Upon further reflection, perhaps his point is simply that the notion of formal axiomatics is implicit in Pascal's ideas? But what is all this business with "the true meaning of the celebrated Euclid postulate" about, then? Is there another postulate that could be meant?

Crosspost: https://math.stackexchange.com/questions/4083340/why-does-hadamard-claim-that-pascal-could-have-discovered-non-euclidean-geometry

  • $\begingroup$ Hadamard does not really have a point, he did not think through his "profound revolution" even at a more basic level. For starters, he transplanted abstract formal thinking that developed at the turn of 20th century back three centuries and expected it to still make sense there. Alas, mathematics was not conceived as laying down definitions and axioms and deducing theorems from them back then, nor was it so conceived by Euclid despite the common misconceptions promoted in modern textbooks. A lot of bigger things had to shift before Hadamard's proposed juxtaposition could make any difference. $\endgroup$ – Conifold Mar 31 at 0:11
  • $\begingroup$ Pascal's remarks are translated in Pascal, Of the Geometrical Spirit. For the proper context on the conception of mathematics at the time see De Risi, Leibniz on the Parallel Postulate and the Foundations of Geometry. $\endgroup$ – Conifold Mar 31 at 5:32
  • $\begingroup$ "mathematics was not conceived as laying down definitions and axioms and deducing theorems from them back then, nor was it so conceived by Euclid despite the common misconceptions promoted in modern textbooks" I take issue with this. Mathematics certainly wasn't universally regarded in this manner, but the view is clearly implicit, and often even explicit, in philosophical and methodological discussions. The relevant distinction is between formal and informal axiomatics; the former is a modern abstraction of the latter, but the structure you describe is certainly there already in the latter. $\endgroup$ – 10012511 Mar 31 at 6:24
  • 1
    $\begingroup$ You mean modern philosophical and methodological discussions? De Risi surveys such discussions from the 17th century, and you may be surprised. There was no "informal axiomatics", it was almost universally believed that axioms must follow from definitions, and definitions were taken as material, not formal, i.e. attached to concrete meanings. Models (plural) make little sense on this conception. This view was still extant at the end of 19th century and is prominent in the Frege-Hilbert correspondence. $\endgroup$ – Conifold Mar 31 at 6:58
  • 1
    $\begingroup$ Greenberg, Euclidean and Non-Euclidean Geometry and Hartshorne, Geometry: Euclid and Beyond are textbooks that have a lot of historical material. Unfortunately, they are not free of Hadamard style modernizations. Manders's Euclidean Diagram (see Mancosu volume) is a celebrated historical study of pre-modern approach to geometry. Global history books usually do not go into philosophical issues that De Risi discusses, but 5000 Years of Geometry is comprehensive $\endgroup$ – Conifold Mar 31 at 23:33

Hadamard's proposes that if Pascal juxtaposed two of his ideas he could have confronted the "great problem of logic" and understood the "true meaning" of the parallel postulate, i.e. its meaning under the modern axiomatic method. Before addressing Hadamard's proposal let me explain the differences between modern understanding of mathematics and Pascal's, which, I believe, Hadamard overlooks.

1) Formal revolution

People today tend to underestimate the magnitude of the Copernican revolution in mathematics initiated by Hilbert. Instead of centering mathematics on concrete objects sketched out definitionally, with axioms as mere shortcuts for streamlining arguments about them, Hilbert turned them into the new center. The objects then became formal shells circumscribed by the axioms only, so "lines" and "points" can be seamlessly replaced by "desks" and "chairs". The revolution came with a quick and thorough memory wipe of what came before, possibly because it was not opposed by powerful cultural institutions, as in the case of Copernicus or Darwin.

The modern idea of pre-Hilbertian mathematics is of deducing theorems from axioms much like now, only with axioms vague and incomplete and proofs informal and gappy, but with steady tightening up of the rigor until axiomatic ideal was finally reached. That this was not the case is witnessed by Frege's objections to Hilbert's approach in the Frege-Hilbert correspondence (1899-1900), and even by Russell's Principia (1910-13) that still followed the old paradigm in Frege's footsteps. The second part of Russell's quip — "The method of "postulating" what we want has many advantages; they are the same as the advantages of theft over honest toil" — is often quoted, out of context, but its meaning is largely forgotten. What Frege and Russell wanted was "honest toil" of constructing mathematical objects by "genetic" definitions (like Dedekind's construction of real numbers) instead of now familiar "theft" of formal axioms treated as "implicit" definitions. On the original, Euclid's, understanding of axioms and their role in geometry see What caused or contributed to Euclid's Elements and Synthetic Geometry falling into disfavor?.

2) Definitional mathematics of 17th century

The conception of mathematics at the time of Pascal's writing is described in De Risi, Leibniz on the Parallel Postulate and the Foundations of Geometry:

"Contrary to our modern understanding of the role of an axiom as an indemonstrable statement, they claimed that geometrical principles were self-evident truths that required no proof to be accepted, but nevertheless were not incapable of proof... These demonstrations of the axioms depend on the definitions of the mathematical terms, and the underlying epistemology seems to be that a statement whose proof follows immediately (whatever this means) from definitions alone is an axiom, whereas a statement that requires further means in order to be proved (other axioms, constructions, theorems) is a theorem in the proper sense."

2) Hadamard's proposal

A look at Pascal's remarks that Hadamard refers to shows that he works squarely within this conception, see Pascal, Of the Geometrical Spirit. What Hadamard wishes Pascal to realize, apparently, is that once all definitions are dissolved into primitive ideas there is nothing left to give substance to those ideas other than the axioms. And that would reveal the "true meaning" of the axioms, which to Hadamard, naturally, is Hilbert's conception of them as implicit definitions.

However, pace Hadamard, Pascal did juxtapose those two statements, but the result is too alien for Hadamard's ear to register. Likely because he, like many others, views mathematics of the past as a cloudy anticipation of what modern times set straight and right. That there could be forks in the road, with different "right" outcomes that were equally "anticipated", is rarely pondered.

4) Pascal's alternative

In any case, Pascal's solution is not formal axioms but il lume naturale, the "natural light" that Descartes and other 17th century mathematicians inherited from scholastics:

"For there is one, and it is that of geometry, which is in truth inferior in that it is less convincing, but not in that it is less certain. It does not define every thing and does not prove every thing, and it is in this that it is inferior; but it assumes nothing but things clear and constant by natural enlightenment, and this is why it is perfectly true, nature sustaining it in default of discourse... We see clearly enough from this that there are some words incapable of being defined; and, if nature had not supplied this defect by a corresponding idea which she has given to all mankind, all our expressions would be confused; whilst we use them with the same assurance and the same certainty as though they were explained in a manner perfectly exempt from ambiguities; because nature herself has given us, without words, a clearer knowledge of them than art could acquire by our explanations."

Pascal did not effect the "profound revolution" because there was no need for it at the time. Mathematics was taken for something like physics of the abstract. This conception is limited, and it would not accommodate much of modern mathematics, but it was self-coherent, and Pascal did not fail to connect the dots, which then has to be explained by his focus being elsewhere.

Geometry had to be reconceptualized as a study of plane/space as a whole rather than of diagrams (this was done by Leibniz), and the nascent movement to leave no "immediate" deliverances of the "natural light" unstated had to reach its pinnacle in the work of Pasch and Frege before Hilbert could effect his Copernican turn. Indeed, non-Euclidean geometries were not originally discovered in the formal manner Hadamard envisioned even in the 19th century. Gauss, Helmholtz and later Poincare interpreted them in the spirit of Kant's pure intuition, which replaced the natural light, but with a caveat that said intuition was not precise enough to zero in on a single geometry, the Euclidean one, thus leaving the determination (of curvature) to empirical studies, see Friedman's Einstein, Kant, and the Relativized A Priori.

  • $\begingroup$ This is a beautiful answer, but I beg some time until I accept it, partly to see whether some other replies come in, partly because I have some small unresolved issues (not necessarily objections) that I will only have time to formulate after the Easter holidays. But let me thank you already now, this is very helpful indeed! $\endgroup$ – 10012511 Apr 3 at 10:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.