12
$\begingroup$

How did the shift from the times of Thales, Pythagoras, and even Euclid, where mathematical objects were found, exhibited, or constructed from given entities, to modern mathematics occur? In modern mathematics, entities no longer need to be constructed or computed in order to be named and manipulated; they simply need to exist. What was the transformative change that enabled this level of abstraction to be embraced and widely adopted, namely the distinction between mere existence and actual realization?

$\endgroup$
6
  • 2
    $\begingroup$ Wikipedia makes the following claim: "Until the end of 19th century, all mathematical proofs were essentially constructive. The first non-constructive constructions appeared with Georg Cantor’s theory of infinite sets, and the formal definition of real numbers." It is not exactly clear what is meant here by non-constructive construction and the words proofs were essentially constructive leave some wiggle room. Certainly the constructivism of Brouwer intuitionalism can be seen as a reaction to Cantor and others. $\endgroup$
    – nwr
    Jun 7, 2023 at 23:02
  • 9
    $\begingroup$ @nwr In this case, Wikipedia is very wrong. Reductios, hence non-constructive proofs, were used already by Pythagoreans and are common in Euclid's Elements, starting with I.6. They are probably confusing constructiveness of proofs with constructiveness of objects they are about. Euclid did mostly confine his theorems to objects he could construct with straightedge and compass, as did other ancient mathematicians. But even that was not universal. Some irrationals were featured in "exhaustion" proofs without "construction". $\endgroup$
    – Conifold
    Jun 8, 2023 at 0:27
  • $\begingroup$ I strongly concur with @Conifold's comment, based on my own observations. $\endgroup$ Jun 9, 2023 at 2:05
  • $\begingroup$ "entities no longer need to be constructed" does not mean that in modern mathematics, entities are never constructed either. Rather than a "turn" isn't it a case of relying on some type of proof more generously than before? $\endgroup$
    – Frank
    Jun 9, 2023 at 15:34
  • $\begingroup$ "[E]ntities no longer need to be constructed or computed in order to be named and manipulated; they simply need to exist" – existence is not the only thing to prove, though; the other thing is uniqueness. That is, you need to prove that something exists and is unique – hence it is well-defined, it can be manipulated, you can explore its properties etc., without an explicit construction. $\endgroup$
    – printf
    Jun 9, 2023 at 19:44

2 Answers 2

18
$\begingroup$

TL;DR It is important to distinguish different senses of "constructiveness", the technical one, as in constructivism, and the one of approach to mathematics as primarily problem-solving. They followed two different lines of development that are often confused (this is where Wikipedia goes wrong), and only the second underwent a shift in 19th century. The first one, on the other hand, shows gradual expansion of construction tools since Euclid and is continuous through the 19th century.

The problem-solving ("constructive" in a different sense) attitude also goes back to Euclid and dominated the field up to the end of 18th century. It gave way to the more meta-theoretical "conceptual" attitude even before Cantor, although he championed it along with Dedekind and Weierstrass, and it was canonized by Hilbert, Zermelo, etc., in the modern axiomatic method. The rise of impossibility and "pure existence" results to prominence accompanied it, but it was not directly related to non-constructivism in the technical sense.

Here is Lützen describing the shift in Why was Wantzel overlooked for a century? to explain the fate of Wantzel's now famous impossibility proofs:

"Indeed, during the 18th century, mathematics was a constructive enterprise consisting of finding solutions to problems, and this view of mathematics was still shared by most of Wantzel’s contemporaries... In the history of the quintic, Abel explicitly tried to change this view of impossibility results. As emphasized by Sørensen, Abel suggested that one ought to rephrase the problem as a problem that always has an answer.

Instead of asking for a solution by radicals, one should first ask if the quintic has a solution of this kind, and only if the answer turns out to be yes would one proceed to the question of finding such a solution constructively. By formulating the existence question as a mathematical problem, Abel had allowed the impossibility result to be a solution of a problem, not just a statement about the impossibility of finding an answer to a problem. Thus impossibility statements became proper theorems in mathematics. Several younger mathematicians continued along the same line as Abel. Evariste Galois is the most obvious example, but also Joseph Liouville’s investigations of integrability of functions and differential equations in finite form follow this lead.

These new tendencies relative to impossibility results went hand in hand with a new focus on existence theorems, and can be viewed as two sides of the same coin. In particular, Cauchy insisted that before finding the sum of an infinite series or the solution of a differential equation, one should prove their existence. And both trends were parts of a change from a constructive to a conceptual paradigm in mathematics. Another instance of this change was the emergence in the 1830s of Sturm–Liouville theory where the (qualitative) properties of solutions to certain differential equations were investigated without solving the equation in analytic form."

The above does not apply to constructive/non-constructive in the technical or even more relaxed sense, which does not necessarily track problem-solving vs theory-building. If we go by the modern definition of constructive proof, which discards proofs by contradiction = reductios ad absurdum, then the non-constructive goes all the way back to ancient Greeks. Euclid employs reductios not only in incommensurability proofs, but even in the most elementary proposition I.6, the isosceles triangle theorem, which surely goes back to Pythagoreans if not Thales.

And even if we focus just on straightedge and compass constructions, what changes over the centuries is mostly the range of construction tools. Euclid's constructionism is not that different in spirit from modern one, where axioms of set theory are used as construction postulates. Most ZFC axioms (specification, pairing, union, powerset, replacement, choice) are even formulated as such postulates. Even employment of the axiom of choice to produce sets to specifications, the very paradigm of non-constructive, is unabashedly called "construction", as in Vitali construction of Lebesgue non-measurable sets, etc. See Rodin's Doing and Showing on structural analogies between Euclidean and set-theoretic constructionism.

Already in Euclid, there are tricky cases where he implicitly relaxes his straightedge and compass strictures. The proof of proposition XII.2, which applies the so-called "method of exhaustion" to the circle quadrature, essentially presents a re-construction of the circle by transcendental means (as a limit of inscribed polygons), and then uses a reductio to prove its equivalence to the elementary compass construction. Archimedes used the "method of exhaustion" on conic sections and even solids, and others happily intersected transcendental curves (quadratrix, spiral) with lines. Unlike the modest (and omitted) completeness assumptions needed in the Elements, these "constructions" implicitly rely on strong forms of completeness for the continuum. See Bos, Construction of equations, 1637-1750 on how transcendental methods were gradually accepted in geometry.

By the 17th century, algebra and number theory also matured, so "constructions" involved infinite decimals (Stevin) and then infinite series and products (Wallis, Newton, Leibniz). Algebraic analysis, where algebra was transferred to functional infinite sums and products, ruled the 18th century. Euler's experiments with infinite "constructions" are well-known, while Fourier's "constructions" with trigonometric series were even seen as "revolutionary" at the turn of 19th century. Many more functions were thereby made "constructible", see Bressoud, Radical Approach to Real Analysis. Both lines of development paved the way to Cantor's innovations, his work on sets was motivated by Fourier series and influenced by the emerging conceptual attitude.

$\endgroup$
3
  • 4
    $\begingroup$ I recall skimming through a paper on the history of Galois theory that had significant discussions of how research trends leading to its development (from the late 1700s through the mid-to-late 1800s) led to changes in the acceptance of certain types of existence proofs, including specifics about which mathematicians heavily criticized the new methods and which mathematicians advocated acceptance of the new methods. The paper might be The development of Galois Theory from Lagrange to Artin by Kiernan (1971), but I don't have access. $\endgroup$ Jun 8, 2023 at 9:27
  • $\begingroup$ @DaveLRenfro I looked through the paper, and it does seem like what you describe. There is an irony in Gauss giving 'pure existence' proof of the fundamental theorem of algebra, but disregarding the idea when it came to the impossibility side of inscribing regular polygons, which implies, in particular, impossibility of trisection. Lützen says "there is little doubt that Gauss knew how to prove it", but he "did not attach much importance to it". Kiernan also names Lagrange as a precursor for "dimly" seeing ""known" as an existence property, and not necessarily a constructive property". $\endgroup$
    – Conifold
    Jun 9, 2023 at 10:53
  • $\begingroup$ It turns out that I actually have a (appropriately magnified) photocopy of Kiernan's 1971 paper, made perhaps 15-20 years ago. In fact, it's in its own 3-ring binder (hole puncher used on the photocopied pages) on one of my bookshelves. $\endgroup$ Jul 1, 2023 at 10:34
10
$\begingroup$

This change apparently occurred in the middle of 19th century.

Let me cite Carl Ludwig Siegel about it:

It is completely clear to me which conditions caused the gradual decadence of mathematics, from its high level some 100 years ago, down to the present hopeless nadir. Degeneration of mathematics begins with the ideas of Riemann, Dedekind and Cantor which progressively repressed the reliable genius of Euler, Lagrange and Gauss.

and he continues:

Through the influence of textbooks like those of Hasse, Schreier and van der Waerden, the new generation was seriously harmed, and the work of Bourbaki finally dealt the fatal blow.

C. L. Siegel, Letter to A. Weil, 1959. German original is cited in the lecture of H. Grauert, in: Mathematics and Theoretical Physics, 1993, ed.: Minaketan Behara, Rudolf Fritsch, Rubens G. Lintz, W. de Gruyter, 1995.

Similar views about the influence of Riemann on mathematics were shared by many mathematicians of that time, for example by Chebyshev and Lyapunov.

Bourbaki also acknowledges the role of Riemann in reshaping of mathematics:

Riemann has to be considered the founder of topology as well as of most of the branches of modern mathematics...

N. Bourbaki, Topology I, Historical essay.

$\endgroup$
5
  • 6
    $\begingroup$ "Siegel" is not enough for the layman to know what you are referring to. Can you give the name of the work? Thx $\endgroup$ Jun 8, 2023 at 7:57
  • 3
    $\begingroup$ Riemann repressed the genius of Gauss? I'm writing this one down :-) $\endgroup$
    – Stef
    Jun 8, 2023 at 10:21
  • 2
    $\begingroup$ According to the OP's web-site (C. L. Siegel, Letter to A. Weil, 1959. German original is cited in the lecture of H. Grauert, in: Mathematics and Theoretical Physics, ch 1993, ed.: Minaketan Behara, Rudolf Fritsch, Rubens G. Lintz, W. de Gruyter, 1995.) @PrimeMover $\endgroup$
    – mdewey
    Jun 8, 2023 at 16:12
  • 2
    $\begingroup$ If he had been in a position to post that up on social media in our own era he'd be banned from the internet for eternity. $\endgroup$ Jun 8, 2023 at 19:29
  • 3
    $\begingroup$ This is hilarious! I had not been aware of this letter of Siegel to Weil! :) I had been aware of Siegel's complaint about S. Lang's "Diophantine Equations", that "the pigs have gotten into the garden"... :) $\endgroup$ Jun 8, 2023 at 20:19

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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