Editing Intuitionism (section)

== Infinity ==

Among the different formulations of intuitionism, there are several different positions on the meaning and reality of infinity.

The term [[potential infinity]] refers to a mathematical procedure in which there is an unending series of steps. After each step has been completed, there is always another step to be performed. For example, consider the process of counting: <math>1, 2, ...</math>

The term [[actual infinity]] refers to a completed mathematical object which contains an infinite number of elements. An example is the set of [[natural number]]s, <math>\mathbb{N} = \{1, 2, ...\}</math>.

In Cantor's formulation of set theory, there are many different infinite sets, some of which are larger than others. For example, the set of all real numbers <math>\mathbb{R}</math> is larger than <math>\mathbb{N}</math>, because any attempt to put the natural numbers into one-to-one correspondence with the real numbers will always fail: there will always be an infinite number of real numbers "left over". Any infinite set that can be placed in one-to-one correspondence with the natural numbers is said to be "countable" or "denumerable". Infinite sets larger than this are said to be "uncountable".<ref>explained at [[Cardinality of the continuum]]</ref>

Cantor's set theory led to the axiomatic system of [[Zermelo–Fraenkel set theory]] (ZFC), now the most common [[foundations of mathematics|foundation of modern mathematics]]. Intuitionism was created, in part, as a reaction to Cantor's set theory.

Modern [[constructive set theory]] includes the axiom of infinity from ZFC (or a revised version of this axiom) and the set <math>\mathbb{N}</math> of natural numbers. Most modern constructive mathematicians accept the reality of countably infinite sets (however, see [[Alexander Esenin-Volpin]] for a counter-example).

Brouwer rejected the concept of actual infinity, but admitted the idea of potential infinity.

{{blockquote|According to Weyl 1946, 'Brouwer made it clear, as I think beyond any doubt, that there is no evidence supporting the belief in the existential character of the totality of all natural numbers ... the sequence of numbers which grows beyond any stage already reached by passing to the next number, is a manifold of possibilities open towards infinity; it remains forever in the status of creation, but is not a closed realm of things existing in themselves. That we blindly converted one into the other is the true source of our difficulties, including the antinomies – a source of more fundamental nature than Russell's vicious circle principle indicated. Brouwer opened our eyes and made us see how far classical mathematics, nourished by a belief in the 'absolute' that transcends all human possibilities of realization, goes beyond such statements as can claim real meaning and truth founded on evidence.| &nbsp;{{harvnb|Kleene|1991|pages=48–49}} }}