Crise des fondements

Crise des fondements

En mathématiques, la crise des fondements, aiguë au tournant du XXe siècle, désigne la situation où des solutions concurrentes sont proposées pour asseoir la méthodologie des mathématiques sur une base rigoureuse.

Sommaire

Historique

Les mathématiques de l'époque fonctionnent très bien comme outil de représentation de la réalité. Par exemple, en physique, elle permet de calculer avec précision différents phénomènes.

Il semble que la géométrie, telle qu'explicitée par Euclide, soit à l'abri d'une remise en question. En effet, les postulats et les axiomes qu'il a formulés dans ses Éléments forment un tout cohérent où chaque proposition est démontrée. Plusieurs mathématiciens tentent de déduire le cinquième postulat des quatre autres postulats. Gauss, Lobatchevski (1839) et Bolyai (1832), en rejetant ce postulat, créent des nouvelles géométries : les géométries non euclidiennes. Il n'est plus nécessaire que deux droites soient parallèles pour que la géométrie soit cohérente. Le cinquième postulat est seulement nécessaire pour la cohérence de la géométrie euclidienne.

Au XIXe siècle, la théorie des groupes prend son essor. Il ne s'agit plus de nombres, mais d'objets qui marient à la fois des notions de fonctions et d'ensembles (qui ne sont pas formellement décrits à ce moment) pour en faire une abstraction algébrique. Les groupes ne généralisent pas la notion de nombre. Il y a donc un sentiment de fracture qui apparaît.

Pendant la première moitié du XIXe siècle, la logique, héritée de la Grèce antique, est vue comme un outil philosophique. Boole (1847) jette les bases de son algèbre et De Morgan (1847) publie ses lois. La logique devient une branche à part entière des mathématiques. Il s'agit encore de notions qui ne généralisent pas celle de nombre.

En 1879, Frege clarifie le raisonnement logique. Cette formalisation permet de dégager les trois caractéristiques qu' une théorie mathématique devrait avoir:

  1. cohérence : impossiblité de démontrer une proposition et son contraire
  2. complétude : pour tout énoncé, ou bien il est démontrable, ou bien son opposé est démontrable à l'intérieur de la théorie.
  3. décidabilité : il existe une procédure de décision permettant de tester tout énoncé de la théorie.

Avec Georg Cantor, la théorie des ensembles met à l'avant-plan les ensembles infinis, objets aux propriétés particulières qui demandent une nouvelle approche.

Description

Vers la fin du XIXe siècle et au début du XXe siècle, plusieurs mathématiciens ont tenté de construire les mathématiques sur des bases solides : Frege, Ernst Zermelo, David Hilbert et Bertrand Russell, entre autres.

David Hilbert (1899) rafraîchit la géométrie euclidienne, alors que les géométries non-euclidiennes sont explorées.

Trois écoles se forment au début du XXe siècle pour tenter de formaliser la logique et la métamathématique :

Russell et Whitehead, s'appuyant sur la logique et plusieurs axiomes, tentent de construire de façon cohérente les mathématiques. Leur travail, complexe et incomplet, culmine avec Principia Mathematica (1910-1913). L'école formaliste voit les mathématiques comme le résultat de définitions et d'axiomes qui permettent de les construire de façon quasi-mécanique. Finalement, l'école intuitionniste remet en cause certaines méthodes de la logique classique.

Parmi les systèmes proposés, la théorie ZFC, chronologiquement une des premières, reste la plus prisée au XXIe siècle.

Kurt Gödel avec ses théorèmes d'incomplétude (1931) a démontré que dès qu'une théorie est assez riche pour rendre compte de l'arithmétique, elle ne peut à la fois être complète, décidable et démontrablement consistante.

Bibliographie

  • Jean Ladrière, Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques, ed.Nauwelaerts-Gauthier-Villars, Leuven-Paris, 1957; réed. éd. J. Gabay, coll "les grands classiques", Paris 1992
  • François Rivenc et Philippe de Rouillan, Logique et fondements des mathématiques (1850-1914). Anthologie, Payot, 1992. Recueil de textes.

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Crise des fondements de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Crise Des Fondements — En mathématiques, la crise des fondements, aiguë au tournant du XXe siècle, désigne la situation où des solutions concurrentes sont proposées pour asseoir la méthodologie des mathématiques sur une base rigoureuse. Historique Les mathématiques de… …   Wikipédia en Français

  • Fondements Des Mathématiques — Le problème de la fondation ou des fondements, des mathématiques est celui des principes sur lequel est établie cette science, de sa vérité et de son contenu. Il s agit en particulier de répondre à la question : « À partir de quels… …   Wikipédia en Français

  • Fondements des mathematiques — Fondements des mathématiques Le problème de la fondation ou des fondements, des mathématiques est celui des principes sur lequel est établie cette science, de sa vérité et de son contenu. Il s agit en particulier de répondre à la question :… …   Wikipédia en Français

  • Fondements des mathématiques — La fondation, ou les fondements, des mathématiques sont les principes sur lesquels est établie cette science. Sommaire 1 Les points de vue sur la nature des mathématiques 1.1 Le logicisme 1.2 Le formalisme 1.3 …   Wikipédia en Français

  • crise — [ kriz ] n. f. • 1478; crisin h. XIVe; lat. méd. crisis, gr. krisis « décision » 1 ♦ Méd. Moment d une maladie caractérisé par un changement subit et généralement décisif, en bien ou en mal. ⇒ phase (critique). ♢ Cour. Accident qui atteint une… …   Encyclopédie Universelle

  • Fondation des mathématiques — Fondements des mathématiques Le problème de la fondation ou des fondements, des mathématiques est celui des principes sur lequel est établie cette science, de sa vérité et de son contenu. Il s agit en particulier de répondre à la question :… …   Wikipédia en Français

  • Crise de la dette dans la zone euro — Image du signe monétaire européen devant la Banque centrale européenne de Francfort, Allemagne. La crise de la dette dans la zone euro, débute avec la crise grecque de 2010 et se poursuit avec la crise irlandaise de l automne 2010. Si dans le cas …   Wikipédia en Français

  • Crise de la modernité — Modernité  Cet article concerne le concept philosophique. Pour la période historique, voir époque moderne. L usage du terme moderne apparait la première fois en latin[1], et c est un concept plurivoque[2 …   Wikipédia en Français

  • Crise de la philosophie — Philosophie Auguste Rodin, Le Penseur, 1880 82 : représentation fameuse d un homme plongé dans ses méditations …   Wikipédia en Français

  • Crise de la vérité — Vérité Pour les articles homonymes, voir La Vérité …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”