Logique mathématique et fondements des mathématiques

Sous-thèmes

Articles

• GÖDEL : THÉORÈMES D'INCOMPLÉTUDE

  • Écrit par Bernard PIRE
  • 174 mots

  Deux ans après avoir soutenu sa thèse de doctorat à l'université de Vienne, le jeune mathématicien autrichien Kurt Gödel (1906-1978) prouve que, dans tout système mathématiqueaxiomatique, il existe des propositions dont on ne peut démontrer ni la véracité ni la fausseté. En particulier,...

• INFINI, mathématiques

  • Écrit par Jean Toussaint DESANTI
  • 10 372 mots

  Le mot « infini » désigne un concept à entrées multiples. Il s'ouvre d'abord sur l'ontologie et signifie alors, selon la tradition, « l'être tel qu'on n'en saurait concevoir de plus grand » (« ens quo majus concipi non potest »). Ce fut pour une grande part...

• 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...

• MATHÉMATIQUES FONDEMENTS DES

  • Écrit par Jean Toussaint DESANTI
  • 10 434 mots
  • 1 média

  Au sens premier et fort, le mot « fondement » désigne la base, jugée inébranlable, sur laquelle repose un corps d'énoncés, un système de connaissances, un complexe de croyances ou de conduites. « Reposer sur la base » signifie ici « trouver en elle à la fois son origine et sa raison ». Point fixe à...

• NOMINALISME, mathématique

  • Écrit par Jean-Paul DELAHAYE
  • 928 mots

  Le nominalisme dans son sens traditionnel est le refus de considérer qu'il existe des entités abstraites (les universaux). Très brièvement : les entités abstraites aident l'esprit à se repérer dans le monde et permettent la communication entre les hommes, mais fondamentalement elles sont illusoires....

• OBJET MATHÉMATIQUE

  • Écrit par Patrick DEHORNOY
  • 1 058 mots

  Le but des mathématiques est de démontrer des résultats non triviaux sur ce qu'on peut appeler globalement des objets mathématiques. Il en existe de nombreux types : nombres entiers, nombres réels, points, droites ou courbes de la géométrie, suites, séries et fonctions de l'analyse, ensembles...

• PRÉDICATIVISME, mathématique

  • Écrit par Philippe de ROUILHAN
  • 1 006 mots

  Doctrine selon laquelle certaines définitions naïvement reçues de la logique ou des mathématiques classiques recèlent une certaine sorte de circularité qu'on retrouve à l'origine de tous les grands paradoxes et qui, même quand elle n'y conduit pas, devrait être interdite. Le principe de cette interdiction...

• RÉALISME, mathématique

  • Écrit par Hourya BENIS-SINACEUR
  • 2 167 mots

  Le réalisme affirme l'existence, indépendante et préalable à la connaissance que nous en avons, des entités mathématiques : nombres, figures, ensembles, fonctions, variétés, etc. Pour le réaliste, le mathématicien manipule des objets bien déterminés qui défient son intelligence....

• STRUCTURALISME, mathématique

  • Écrit par Jean-Paul DELAHAYE
  • 1 691 mots

  Concernant les mathématiques, deux « doctrines » assez différentes portent le nom de structuralisme. D'une part, le mot désigne une façon d'envisager l'organisation du champ des mathématiques autour des structures comme le sont les groupes, les ensembles ordonnés, les espaces topologiques, etc....