Ultrafinitisme

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (novembre 2016).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

En philosophie des mathématiques, l'ultrafinitisme, (aussi connu sous le nom d'ultraintuitionnisme, finitisme strict, ou encore de finitisme fort) est une forme extrême de finitisme. Une caractéristique de l'ultrafinitisme est son objection à la totalité de certaines fonctions numériques jusqu'à y compris l'exponentiation.

Idées principales[modifier | modifier le code]

L'ultrafinitisme nie l'existence de l'ensemble infini $\mathbb {N}$ des entiers naturels, car celui-ci ne pourra jamais être complété.

En outre, certains ultrafinitistes doutent de l'existence de certains objets mathématiques que personne ne peut construire en pratique. Ainsi, certains ultrafinitistes nient l'existence de grands nombres, par exemple la partie entière du premier nombre de Skewes, qui est un nombre extrêmement grand défini en utilisant la fonction exponentielle tel que exp(exp(exp(79))), ou

e^{e^{e^{79}}}{\mbox{.}}\!

La raison est que personne n'a encore calculé la partie entière de cet entier naturel. De même, $2\uparrow \uparrow \uparrow 6$ (en notation des flèches de Knuth) ne serait considérée que comme une expression formelle qui ne correspond pas à un entier naturel.

$2\uparrow \uparrow \uparrow 6$

Certaines versions de l'ultrafinitisme sont des formes de constructivisme, mais la plupart des constructivistes considèrent l'ultrafinitisme comme irréalisable. Le fondement logique de l'ultrafinitisme n'est pas clair et dans son étude Constructivism in Mathematics (1988), le logicien constructiviste A. S. Troelstra le rejette en affirmant qu'« aucun développement satisfaisant n'existe à l'heure actuelle ».

Travaux sur l'ultrafinitisme[modifier | modifier le code]

Un travail sérieux sur l'ultrafinitisme a été mené, depuis 1959, par Alexander Esenin-Volpin, qui a esquissé en 1961 un programme pour prouver la cohérence de la théorie des ensembles de Zermelo-Fraenkel dans les mathématiques ultrafinies. D'autres mathématiciens qui ont travaillé sur le sujet sont Doron Zeilberger, Edward Nelson et Rohit Jivanlal Parikh. L'ultrafinitisme est parfois associée à Ludwig Wittgenstein, Robin Gandy et J. Hjelmslev.

Références[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Ultrafinitism » (voir la liste des auteurs).
(en) A. S. Ésénine-Volpine, Infinitistic Methods (Proc. Sympos. Foundations of Math., Warsaw, 1959), Oxford, Pergamon, 1961, 201–223 p. (MR 0147389), « Le programme ultra-intuitionniste des fondements des mathématiques » Revu par (en) G. Kreisel et A. Ehrenfeucht, Review of Le Programme Ultra-Intuitionniste des Fondements des Mathematiques by A. S. Ésénine-Volpine, vol. 32, Association for Symbolic Logic, 1967 (DOI 10.2307/2270182, JSTOR 2270182), chap. 4, p. 517
Lavine, S., 1994. Understanding the Infinite, Cambridge, MA: Harvard University Press.
Lavine, S., 1994. Understanding the Infinite, Cambridge, MA: Harvard University Press.

Liens externes[modifier | modifier le code]