FINITISME ET ULTRAFINITISME, mathématique

Carte mentale

Élargissez votre recherche dans Universalis

Le finitisme est un point de vue sur les fondements des mathématiques essentiellement défendu par le mathématicien David Hilbert (1862-1943) dans les années 1920, et particulièrement développé dans „Sur l'infini“, son célèbre article de 1925.

Le principe fondamental du finitisme consiste à mettre en avant un domaine d'énoncés et de méthodes – justement appelés „finitistes“ ou „finitaires“ – dont la compréhension et la validité seraient, par nature, non problématiques, au sens où nous ne saurions les mettre en doute sans renoncer par là même à l'exercice de nos capacités intellectuelles. L'énoncé 3 + 2 = 5, par exemple, est de cet ordre, puisque nous pouvons en vérifier la correction par un simple procédé consistant à ajouter progressivement à la suite │ │ │ les unités qu'on enlève à la suite │ │, obtenant ainsi d'abord les deux suites │ │ │ │ et │, puis la suite │ │ │ │ │ elle-même. Loin de se limiter au domaine arithmétique, ce processus de construction et de déconstruction (Aufbildung und Abbildung) est, selon Hilbert, expressif de la manière même dont procède notre pensée. Par ailleurs, Hilbert considère comme finitistes, non seulement les identités numériques du type 3 + 2 = 5, mais les énoncés généraux portant sur les nombres entiers, comme : (1) x(y + z) = xy + xz(„x“, „y“ et „z“ sont ici des „variables libres“ devant intuitivement être comprises comme „universellement quantifiées“).

Du point de vue finitiste, la preuve d'un énoncé comme (1) ne met pas en jeu la totalité infinie des entiers naturels. Elle consiste simplement en une procédure générique capable, pour n'importe quel triplet d'entiers spécifiés qui pourrait être proposé, d'établir que la distributivité de la multiplication sur l'addition s'applique à eux.

Moyennant cette interprétation, l'ensemble des énoncés finitistes coïncide avec la classe des énoncés sans variables libres, ou universellement quantifiés, formés à partir des symboles numériques et des signes pour les opérations arithmétiqu [...]


1  2  3  4  5
pour nos abonnés,
l’article se compose de 3 pages

Écrit par :

Classification

Autres références

«  FINITISME ET ULTRAFINITISME, mathématique  » est également traité dans :

CONSTRUCTIVISME, mathématique

  • Écrit par 
  • Jacques-Paul DUBUCS
  •  • 1 381 mots

Dans le chapitre « Différentes variétés de constructivisme »  : […] De nombreuses variétés de ce constructivisme ont vu le jour depuis la fin du xix e  siècle. Parmi les plus importantes, on peut citer, par ordre approximativement chronologique : – la doctrine des « semi-intuitionnistes » français [René-Louis Baire (1874-1932), Émile Borel (1871-1956), Henri Lebesgue (1875-1941)], qui n'accorde d'existence qu'aux objets mathématiques explicitement définis ; –  le […] Lire la suite

Voir aussi

Pour citer l’article

Jacques-Paul DUBUCS, « FINITISME ET ULTRAFINITISME, mathématique », Encyclopædia Universalis [en ligne], consulté le 27 septembre 2020. URL : https://www.universalis.fr/encyclopedie/finitisme-et-ultrafinitisme-mathematique/