Aufständische Mathematiker

Welche Kriterien machen eine Zahl „machbar“? Laut Rohit Parikh von der City University of New York, der in den 1970er Jahren eine der ersten formalen ultrafinitistischen Theorien formulierte und das Konzept der „machbaren Zahlen“ vorschlug, ist es entscheidend, den Bezug zum menschlichen Handeln aufrechtzuerhalten. „Irgendwann muss eine Grenze gesetzt werden. Dinge müssen mit dem Handeln des Menschen verknüpft werden. Ist eine Zahl wirklich ein mathematisches Objekt, wenn sie innerhalb physikalischer Grenzen nicht benannt, berechnet, übertragen, gespeichert oder auch nur kohärent individualisiert werden kann?“ Man denke zum Beispiel an die Skewes-Zahl, eine Zahl aus der Zahlentheorie, die so immens groß ist, dass sie mehr Ziffern zu haben scheint, als es im Universum Platz gibt. Sie war aus mehreren Gründen wertvoll, obwohl sie absurd hoch ist. Ein Grund bestand darin, zu zeigen, wie weit die Mathematik bei ihrer Suche nach Gewissheit gehen kann, und ein anderer Grund bestand darin, zu beweisen, dass Ergebnisse wahr sein können, auch wenn sie keinen direkten praktischen Nutzen haben.