Jacques-Paul DUBUCS

chargé de recherche au C.N.R.S.

CONSTRUCTIVISME, mathématique

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

Le constructivisme est une philosophie des mathématiques définie par deux composantes. Au plan ontologique, le constructiviste considère les objets mathématiques, non comme existant « par eux-mêmes », mais comme le résultat des constructions mentales du mathématicien. Au plan méthodologique, il insiste sur l'importance des preuves dites « constructives », c'est-à-dire des démonstrations qui, si el […] Lire la suite

FINITISME ET ULTRAFINITISME, mathématique

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

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 à me […] Lire la suite

INTUITIONNISME

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

Dans l'acception technique et contemporaine du mot, c'est-à-dire quand le terme ne se contente pas de caractériser une philosophie faisant à l'intuition une large part, l'intuitionnisme est à la fois une doctrine relative aux mathématiques, à la vérité et au langage, et une logique « non classique » qui trouve so […] Lire la suite