Opposition From The Intuitionist School
The mathematical meaning of the term "actual" in actual infinity is synonymous with definite, completed, extended or existential, but not to be mistaken for physically existing. The question of whether natural or real numbers form definite sets is therefore independent of the question of whether infinite things exist physically in nature.
Proponents of intuitionism, from Kronecker onwards, reject the claim that there are actually infinite mathematical objects or sets. (Also, according to Aristotle, a completed infinity cannot exist even as an idea in the mind of a human.) Consequently, they reconstruct the foundations of mathematics in a way that does not assume the existence of actual infinities. On the other hand, constructive analysis does accept the existence of the completed infinity of the integers.
For intuitionists, infinity is described as potential; terms synonymous with this notion are becoming or constructive. For example, Stephen Kleene describes the notion of a Turing machine tape as "a linear tape, (potentially) infinite in both directions." To access memory on the tape, a Turing machine moves a read head along it in finitely many steps: the tape is therefore only "potentially" infinite, since while there is always the ability to take another step, infinity itself is never actually reached.
Mathematicians generally accept actual infinities. Georg Cantor is the most significant mathematician who defended actual infinities, equating the Absolute Infinite with God. He decided that it is possible for natural and real numbers to be definite sets, and that if one rejects the axiom of Euclidean finiteness (that states that actualities, singly and in aggregates, are necessarily finite), then one is not involved in any contradiction.
The philosophical problem of actual infinity concerns whether the notion is coherent and epistemically sound.
Read more about this topic: Actual Infinity
Famous quotes containing the words opposition and/or school:
“Commitment, by its nature, frees us from ourselves and, while it stands us in opposition to some, it joins us with others similarly committed. Commitment moves us from the mirror trap of the self absorbed with the self to the freedom of a community of shared values.”
—Michael Lewis (late 20th century)
“We are all adult learners. Most of us have learned a good deal more out of school than in it. We have learned from our families, our work, our friends. We have learned from problems resolved and tasks achieved but also from mistakes confronted and illusions unmasked. . . . Some of what we have learned is trivial: some has changed our lives forever.”
—Laurent A. Daloz (20th century)