Foundational Crisis In Mathematics

Between Syntax And Arithmetic
Gödel’s Incompleteness Theorem-Reciprocal Movement

Divergencies, convergencies and, at times, insurmountable paradox, has marked the history of mathematics. A major discontinuity in the history of mathematics occurred in the l880’s when Georg Cantor developed his theory of sets. Cantor developed a diagonal method from which he worked out the mathematics of infinities. The essence of this method is, according to Douglas Hofstadter, “the fact of using one integer in two different ways–or, one could say, using one integer on two different levels–thanks to which one can construct an item which is outside of some predetermined list.” [Douglas R. Hofstadter, Gödel, Escher, Bach: an Eternal Golden Braid, 1979, p. 423]

The diagonal method developed by Cantor was not the problem, rather, the controversy sprang from what Cantor was able to prove with this method. For instance, in his investigations into non-denumerable sets Cantor was able to prove:

“Any line segment, no matter how small, contains as many points as an infinite straight line. Further, the segment, contains as many points as there are in an entire plane, or in the whole of space of n dimensions (where n is any integer greater than zero) or finally in a space of denumerable infinite number of dimensions.” [E.T. Bell, Men Of Mathematics, 1937, p571]

By bringing into question the fundamental axioms such as: every magnitude is equal to itself; the part is less than the whole; two magnitudes, equal separately to a third, are equal to each other; etc., Cantor’s transfinite mathematics brought the very foundation of mathematics into question.

Three foundational schools of mathematics arose in response to Cantor’s transfinite mathematics. Each produced their own point of view concerning the nature of number. Bertrand Russell advocated that mathematics could be reduced to a system of logic while the school of thought representing intuitionalism accepted number as a “given”. Kronecker, a spokesperson for the intuitionalist school, is reported to have said, “The whole numbers were made by the good Lord, everything else is the work of man.” [A.S. Luchins and E.H. Luchins, Logical Foundations of Mathematics for Behavioral Scientists, 1965, p.56] Not surprisingly the intuitionalists took exception to many of the concepts associated with the mathematics of infinitesimals.

In an attempt to end the controversy over number, the third foundational school, the formalists (Hilbert), set themselves the task of creating an axiomatic language (using methods acceptable to both logists and intuitionalists) that would define a formal number-theoretic system (a system inclusive of the natural numbers, analysis and calculus). If successful, this axiomatic language would have been both consistent and complete and it would have eliminated the paradoxes and antinomies that were found in set theory and classical mathematics. For better or worse, the formalist school of thought did not achieve their goal. What was achieved however was a 1931 paper by Kurt Gödel which determined the goals of the formalist approach to mathematics to be unattainable. In his paper, entitled, On Formally Undecidable Propositions of TNT (typographical number theory) and Related Systems, Gödel offered a proof which demonstrated that given any sufficiently powerful formal system, it is not possible for it to be complete and, while it may be consistent, its consistency is not provable within the system.

Advertisements

About bwinwnbwi

About me: Marvin Gaye’s song, "What’s Going On" was playing on the jukebox when I went up to the counter and bought another cup of coffee. When I got back, the painting on the wall next to where I was sitting jumped out at me, the same way it had done many times before. On it was written a diatribe on creativity. It was the quote at the bottom, though, that brought me back to this seat time after time. The quote had to do with infinity; it went something like this: Think of yourself as being in that place where infinity comes together in a point; where the infinite past and the infinite future meet, where you are at right now. The quote was attributed to Hermann Hesse, but I didn’t remember reading it in any of the books that I had read by him, so I went out and bought Hesse’s last novel, Magister Ludi. I haven’t found the quote yet, but I haven't tired of looking for it either.
This entry was posted in Uncategorized and tagged , , , , , , , . Bookmark the permalink.

One Response to Foundational Crisis In Mathematics

  1. bwinwnbwi says:

    Gödel—his conclusions are mathematical theorems that manage to escape mere mathematics.

    “…they speak from both inside and outside mathematics. For Gödel mathematics is a means of unveiling the features of objective mathematical reality, just as for Einstein physics is a means of unveiling aspects of objective physical reality. Gödel’s theorems, then, appear to be that rarest of rare creatures: mathematical truths that also address themselves—however ambiguously and controversially—to the central question of the humanities: what is involved in our being human?

    These theorems: what are they? How do they come to be available to the likes of us? We are once again thrown up against the mysterious nature of mathematical knowledge, against the mysterious nature of ourselves as knowers of mathematics. How do we come to have the knowledge that we do? How can we? Plato himself had argued that the very fact that our reasoning mind can come into contact with the eternal realm of abstraction suggests that there is something of the eternal in us: that the part of ourselves that can know mathematics is the part that will survive our bodily death. Spinoza was to argue along similar lines.” (Quoted and paraphrased from Rebecca Goldstein, Incompleteness, The Proof and Paradox of Kurt Gödel, 2005, p. 192, 198-199.)

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s