Online Encyclopedia Search Tool

Your Online Encyclopedia


Online Encylopedia and Dictionary Research Site

Online Encyclopedia Free Search Online Encyclopedia Search    Online Encyclopedia Browse    welcome to our free dictionary for your research of every kind

Online Encyclopedia

Mathematical constructivism

In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a mathematical object to prove that it exists. When one assumes that an object does not exist, and derive a contradiction from that assumption, one still has not found it, and therefore not proved its existence, according to constructivists.

Constructivism is often confused with intuitionism, but in fact, intuitionism is only one kind of constructivism. Intuitionism maintains that the foundations of mathematics lie in the individual mathematician's intuition, thereby making mathematics into an intrinsically subjective activity. Constructivism does not, and is entirely consonant with an objective view of mathematics.


Constructivist mathematics

Constructivist mathematics uses constructivist logic, which closely identifies truth with proof. To prove P \or Q constructively we must prove one (or both) of P and Q. To prove \exists x\in X\ P(x) constructively we must present a particular a\in X together with a proof of P(a). To prove \forall x\in X\ P(x) constructively we must present an algorithm that takes an x\in X and outputs a proof of P(x).

Constructivism also rejects the use of infinite objects, such as infinite sets and sequences.

Example from real analysis

In classical real analysis, one way to construct a real number is as a pair of Cauchy sequences of the rational numbers. This construction doesn't work in constructivist mathematics because the sequences are infinite.

Instead, we can represent a real number as an algorithm f that takes a positive integer n and outputs a pair of rationals (f_\ell(n), f_r(n)) such that

m \le n \implies f_\ell(m) \le f_\ell(n)
m \le n \implies f_r(n) \le f_r(m)
0 \le f_r(n) - f_\ell(n) \le {1\over n}

so that as n increases, the interval [f_\ell(n), f_r(n)] gets smaller, and the intersection of the first n such intervals is non-empty. We can use f to compute as close a rational approximation as we like to the real number it represents.

Under this definition, the real number \sqrt{2} can be represented by the algorithm that computes for each 0 \le i \le n the largest ai such that a_i^2 \le 2i^2 and then outputs the pair \left(\mathrm{max}\left\{{a_i \over i}\right\}, \mathrm{min}\left\{{a_i+1 \over i}\right\}\right).

This definition corresponds to the classical definition using Cauchy sequences, except for the requirement that the sequences are constructive: that is, we have an algorithm for computing the nth element in the sequence and hence an algorithm for computing an arbitrarily accurate rational approximation to \sqrt{2}.

Attitude of mathematicians

Traditionally, mathematicians have been suspicious, if not downright antagonistic, towards mathematical constructivism, largely because of the limitations that it poses for constructive analysis. These views were forcefully expressed by David Hilbert in 1928, when he wrote in Die Grundlagen der Mathematik , "Taking the principle of excluded middle from the mathematician would be the same, say, as proscribing the telescope to the astronomer or to the boxer the use of his fists" [1]. (The law of excluded middle is not valid in constructivist logic.) Errett Bishop, in his 1967 work Foundations of Constructive Analysis , worked to dispel these fears by developing a great deal of traditional analysis in a constructive framework. Nevertheless, not every mathematician accepts that Bishop did so successfully, since his book is necessarily more complicated than a classical analysis text would be. In any case, most mathematicians see no need to restrict themselves to constructivist methods, even if this can be done.

[1] Translation from the Stanford Encyclopedia of Philosophy,

Mathematicians who have contributed to constructivism

Branches of constructivist mathematics

See also

External links

Computability Logic Homepage

Last updated: 10-24-2004 05:10:45