## Encyclopedia > Mathematical intuitionism

Article Content

# Intuitionism

Redirected from Mathematical intuitionism

In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism[?]), is an approach to mathematics as the constructive mental activity of humans.

Any mathematical object is considered to be a product of a construction of a mind, and therefore, the existence of an object is equivalent to the possibility of its construction. This contrasts with the classical approach, which states that the existence of an entity can be proved by refuting its non-existence. For the intuitionist, this is invalid; the refutation of the non-existence does not mean that it is possible to find a constructive proof of existence. As such, intutionism is a variety of mathematical constructivism; but it is not the only kind.

Intuitionism takes the validity of a mathematical statement to be equivalent to its having been proved; what other criteria can there be for truth (an intuitionist would argue) if mathematical objects are merely mental constructions? This means that an intuitionist may not believe that a mathematical statement has the same meaning that a classical mathematician would. For example, to say A or B, to an intuitionist, is to claim that either A or B can be proved. In particular, the law of the excluded middle, A or not A, is disallowed since one cannot assume that it is always possible to either prove the statement A or its negation.

Intuitionism also rejects the abstraction of actual infinity[?]; i.e., it does not consider as given objects infinite entities such as the set of all natural numbers or an arbitrary sequence of rational numbers. This requires the reconstruction of the most part of set theory and calculus, leading to theories highly different from their classical versions.

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia
 Search over one million articles, find something about almost anything!

Featured Article
 Canadian Music Hall of Fame ... 1978 Oscar Peterson 1979 Hank Snow 1980 Paul Anka 1981 Joni Mitchell 1982 Neil Young 1983 Glenn Gould 1986 Gordon Lightfoot 1987 The Guess Who[?] 1989 ...