Introduction
Doron Zeilberger, un mathématicien, défend l'idée que tout a une limite, y compris les nombres. Il considère que l'infini est une notion qui ne peut pas être observée et est donc sans fondement.
Contexte Technique
Zeilberger propose une approche alternative à la notion d'infini en mathématiques, qu'il appelle ultrafinitisme. Selon lui, les mathématiques peuvent être reconstruites sans l'infini, en utilisant des nombres finis et des calculs discrets. Il affirme que les équations et les preuves qui utilisent l'infini sont « très laides » et fausses.
Les mathématiques traditionnelles reposent sur la notion d'infini, qui est considérée comme une entité réelle. Les séries de nombres, les courbes et les autres objets mathématiques sont souvent traités comme des entités infinies. Cependant, Zeilberger soutient que ces objets ne sont pas réellement infinis, mais plutôt des constructions humaines qui peuvent être décrites à l'aide de nombres finis.
Analyse et Implications
L'approche d'ultrafinitisme de Zeilberger a des implications importantes pour les mathématiques et la philosophie. Elle remet en question la notion d'infini et les fondements des mathématiques. Les mathématiques ultrafinitistes pourraient être plus réalistes et mieux adaptées à la description du monde physique, qui est fini et discret.
Cependant, l'ultrafinitisme est encore une théorie marginale et controversée. La plupart des mathématiques considèrent que l'infini est une notion essentielle et que l'ultrafinitisme est une approche trop restrictive. Les partisans de l'ultrafinitisme doivent encore développer une théorie formelle et convaincante pour convaincre la communauté mathématique.
Perspective
L'avenir de l'ultrafinitisme est incertain, mais il est clair que cette approche a déjà eu un impact sur la philosophie des mathématiques. Les mathématiques ultrafinitistes pourraient offrir une perspective nouvelle et intéressante sur la nature des nombres et des objets mathématiques. Cependant, il faudra encore beaucoup de travail et de débat pour déterminer si l'ultrafinitisme peut devenir une théorie mathématique viable et convaincante.
