Maths encyclopedia and lessons  
Search

Mathematics Encyclopedia and Lessons

 
     
 

Lessons

Popular
Subjects

algebra
arithmetic
calculus
equations
geometry
differential equations
trigonometry
number theory
probability theory
more
 

References

applied mathematics
mathematical games
mathematicians
more
 
 

Finitism

In the philosophy of mathematics, finitism is an extreme form of constructivism, according to which a mathematical object does not exist unless it can be constructed from natural numbers in a finite number of steps. (Most constructivists, in contrast, allow a countably infinite number of steps.) The most famous proponent of finitism was Leopold Kronecker, who said:

"God created the natural numbers, all else is the work of man."

Although most modern constructivists take a weaker view, they can trace the origins of constructivism back to Kronecker's finitist work.

Reuben Goodstein is another exponent of finitism. Some of his work involved building up to analysis from finitist foundations.

Even stronger than finitism is ultrafinitism (also known as ultraintuitionism), associated primarily with Alexander Esenin-Volpin .

01-04-2007 01:18:14
The contents of this article are licensed from Wikipedia.org
under the GNU Free Documentation License. How to see transparent copy