Actual Infinity - Opposition From The Intuitionist School

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:

    To die proudly when it is no longer possible to live proudly. Death freely chosen, death at the right time, brightly and cheerfully accomplished amid children and witnesses: then a real farewell is still possible, as the one who is taking leave is still there; also a real estimate of what one has wished, drawing the sum of one’s life—all in opposition to the wretched and revolting comedy that Christianity has made of the hour of death.
    Friedrich Nietzsche (1844–1900)

    Children in home-school conflict situations often receive a double message from their parents: “The school is the hope for your future, listen, be good and learn” and “the school is your enemy. . . .” Children who receive the “school is the enemy” message often go after the enemy—act up, undermine the teacher, undermine the school program, or otherwise exercise their veto power.
    James P. Comer (20th century)