# Intuition and Rigor

One of the torch bearers of the formalization attempts in the 19th century was the Czech analyst Bernhard Bolzano (1781-1848.) In his critique of the attempts to prove the Fundamental Theorem of Algebra, he wrote

The most common kind of proof depends on a truth borrowed from geometry, namely, that every continuous line of simple curvature of which the ordinates are first positive and then negative (or conversely) must necessarily intersect the x-axis somewhere at a point that lies in between those ordinates. There is certainly no question concerning the correctness, nor indeed the obviousness, of this geometrical proposition. But it is clear that it is an intolerable offense against correct method to derive truths of pure (or general) mathematics (i.e., arithmetic, algebra, analysis) from considerations which belong to a merely applied (or special) part, namely, geometry ...

By which he of course meant that reliance on the geometrical intuition is an unacceptable tool in deriving analytic truths. He clearly accepts the statement as true but objects to the fact of its being used offhandedly, as a self-evident truth. In the article, Bolzano proceeds to justify the statement that is variably now known as Bolzano's or the Intermediate Value Theorem.

His proof depends on the definition of continuity by Cauchy from which he derives the Sign Preserving Property of Continuous Functions. Assuming that at the left end of an interval the function is negative, he observes that it stays negative on a certain bounded set but not for the points near the second end of the interval. He continues

Now the *theorem* holds that whenever a certain property *M* belongs to all values of a variable quantity *i* which are smaller than a given value and yet not for *all values in general*, then there is always some *greatest* value *u*, for which it can be asserted that all *i*<*u* possess property *M*.

I am not critical of Bolzano; for it's easy to see faults from the distance of 180 years. I only want to demonstrate how painful the labors were in delivering the present day mathematics. Bolzano ends his proof with the following remark:

It is now only a question of the proof of the *theorem* mentioned.
The theorem is proved by showing that those values of *i* of which it can be asserted that all smaller values possess property *M* and those of which this cannot be asserted can be brought as near one another as desired. Whence it follows, for anyone who has a correct concept of *quantity*, that the idea of a greatest value *i* of which it can be said that all below it possess property *M* is the idea of a real, i.e., *actual*, quantity.

I have a feeling that the *actual* quantity is somehow related to a point on a (geometric) line. In any event, Richard Dedekind (1831-1916) might not have had the "correct concept of *quantity*" for in 1872 he published the first rigorous introduction into
the theory of real numbers. The claimed *theorem* has been indeed proven on the foundation of *Dedekind's Cuts*.

The property claimed by the *theorem* is known as *completeness* of the set of real numbers. Depending on how deep one wants to make a presentation of mathematics, the
*theorem* may as well be declared an *axiom* - the fact that requires no proof in that particular setting. However, in the footsteps of Bolzano, it would be "an intolerable offense against correct method" to refer to somebody's concept of quantity in a proof claimed to be rigorous.

## References

*The History of Mathematics*, ed J.Fauvel and J.Gray, The Open University, 1987

- Perfect numbers are complex, complex numbers might be perfect
- Fundamental Theorem of Algebra: Statement and Significance
- What's in a proof?
- More about proofs
- Axiomatics
- Intuition and Rigor
- How to Prove Bolzano's Theorem
- Early attempts
- Proofs of the Fundamental Theorem of Algebra
- Remarks on Proving The Fundamental Theorem of Algebra
- A Proof of the Fundamental Theorem of Algebra: Standing on the shoulders of giants
- Yet Another Proof of the Fundamental Theorem of Algebra
- Fundamental Theorem of Algebra - Yet Another Proof
- A topological proof, going in circles and counting
- A Simple Complex Analysis Proof
- An Advanced Calculus Proof

|Contact| |Front page| |Contents| |Algebra|

Copyright © 1996-2018 Alexander Bogomolny63804997 |