Ultraintuitionismus

Ultrafinitismus (auch Ultraintuitionismus genannt) ist eine Version des Finitismus in der Philosophie der Mathematik.

Ultrafinitisten beschäftigen sich mit der Konstruktion mathematischer Objekte unter Berücksichtigung der physikalischen Beschränktheit des Menschen. Sie lehnen nicht nur, wie andere Anhänger des Finitismus, die Existenz von mathematischen Strukturen ab, zu deren Konstruktion eine unendliche Zahl von Schritten erforderlich wäre (wie bei der Menge der natürlichen Zahlen $\mathbb{N}$), sondern zweifeln auch am Sinn von Zahlen wie $\left\lfloor e^{e^{e^{79}}}\right\rfloor$ (die größte natürliche Zahl, die kleiner ist als Skewes' Zahl). Dies begründen sie damit, dass niemand diese Zahl bisher berechnet hat und dass es möglicherweise physikalisch nicht möglich ist, sie zu berechnen. Die Anzahl der Elementarteilchen im beobachtbaren Universum liegt bei 10¹⁰⁰, die Anzahl von deren möglichen Umordnungen bei $10^{(10^{100})}$, während Skewes' Zahl bei $10^{(10^{(10^{34})} )}$ liegt.

Obwohl Ultrafinitismus eine Form des Konstruktivismus ist, wird er von den allermeisten Konstruktivisten als unpraktikabel angesehen. Der konstruktive Logiker A. S. Troelstra formulierte dazu in Constructivism in Mathematics (1988): Es gibt derzeit keine befriedigende Ausarbeitung (no satisfactory development exists at present).

Alexander Jessenin-Wolpin ist seit 1959 ein führender Vertreter des Ultrafinitismus.

Siehe auch

Diskrete Mathematik

Weblinks

Eine Einführung in eine ultrafinitistische Sichtweise (englisch, PDF)