Finitismus

In der Philosophie der Mathematik ist der Finitismus eine extreme Form des Konstruktivismus, nach der ein mathematisches Objekt erst existiert, wenn es in einer endlichen Anzahl von Schritten aus natürlichen Zahlen abgeleitet werden kann. (Die meisten Konstruktivisten erlauben auch eine Konstruktion in unendlich vielen Schritten.)

Berühmt wurde der Spruch von Leopold Kronecker, einem der bekanntesten Vertreter dieser Richtung: Gott schuf die natürlichen Zahlen, alles andere ist Menschenwerk.

Wenn auch die meisten Konstruktivisten heute einen schwächeren Ansatz vertreten, so können sie ihre Ursprünge doch bis zu Kroneckers finitistischer Arbeit zurückführen.

Noch strenger als der Finitismus ist der Ultraintuitionismus (oder Ultrafinitismus) von Alexander Esenin-Volpin.