Chapitres
- Introduction01'27"
- Aristote, Euclide er la formalisation du réel05'07"
- Leibniz et la logique de cohérence01'26"
- Descartes et l'algébrisation de la géométrie01'13"
- Galilée, Newton et la modélisation du réel00'48"
- Axiomatisation de la géométrie01'32"
- Gauss, Bolyai et Lobachevski03'19"
- Les modèles non euclidiens02'45"
- Hilbert et l'axiomatisation de la géométrie03'25"
- La théorie des ensembles11'08"
- Formalisation du discours mathématique14'23"
- Modèle ensembliste d'un système formel00'37"
- - Théorie des groupes03'27"
- - Théorème de complétude de Gödel07'47"
- - Premier théorème d'incomplétude de Gödel05'58"
- - Second théorème d'incomplétude de Gödel01'48"
- Les mathématiques post-godéliennes00'38"
- - Enoncé de consistance03'35"
- - Impact sur la pratique du mathématicien01'37"
- - La question du "Fini"10'29"
- - L'intuitionnisme03'30"
- - Calculabilité et algorithmes03'52"
Notice
Les théorèmes de Gödel : fin d’un espoir ?
- document 1 document 2 document 3
- niveau 1 niveau 2 niveau 3
Descriptif
En 1931, Kurt Gödel (1906 - 1978) démontrait, dans un article révolutionnaire, qu'un système d'axiomes cohérent et suffisamment expressif est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes qui gouvernent la formulation de ces énoncés et leurs déductions. Apparemment très technique, ce théorème bouleversait la philosophie des mathématiques, et en particulier la vieille question de leur "fondement".
Jean-Marc Deshouillers se propose ici de décrire l'avant et l'après Gödel en retraçant l'histoire des théories mathématiques depuis Aristote et Euclide jusqu'au renversement révolutionnaire des fondements mathématiques induit par le théorème d’incomplétude.
La conférence a été donnée à l'Université Victor Segalen Bordeaux 2 dans le cadre du cycle de conférences "L'invité du Mercredi" / Saison 2005-2006 sur le thème "L'espoir". Service culturel Université Victor Segalen de Bordeaux 2 / DCAM /
Dans la même collection
-
Espoir et Histoire
Riot-SarceyMichèleLes mouvements de révolte qui secouent actuellement notre société sont symptomatiques d'une crise du jeu démocratique. La représentation politique ne fonctionne pas comme elle le devrait puisqu'il est
-
L’espoir à l’épreuve du progrès
CoiffetJean-ClaudeComment aider l’homme à sortir de la désespérance où le plonge l’angoisse existentielle de nos sociétés modernes individualistes ? Par l’espoir ou par le progrès, deux réponses distinctes, pour ne pas
-
La Cité Idéale dans l’ancien stoïcisme : un espoir, un mythe ?
CambronnePatriceLe stoïcisme apparaît au début de l'époque hellénistique, à un moment où les Grecs, démoralisés, voient s'effondrer leur civilisation et avec elle les valeurs de la cité. En quête d’un Etat porteur
-
Espoir et théorie des catastrophes. L’intelligibilité : norme d’une science de l’acceptable ?
GootjesLucFondée dans les années 70 par le mathématicien René Thom, la théorie des catastrophes devient rapidement, malgré l’engouement qu’elle suscite, sujet de controverse et de critique. Visant à décrire les
-
Une nouvelle théorie du cancer
KupiecJean-JacquesConférence publique proposant une vision darwinienne des processus de différenciation cellulaire pouvant rendre compte du phénomène de tumorisation.
-
Des biopuces et des hommes
GidrolXavierConférence du docteur Xavier Gidrol sur l'impact des nanotechnologies en médecine. La conférence a été donnée à l'Université Victor Segalen Bordeaux 2 dans le cadre du cycle de conférences "L'invité
-
Bases naturelles de l'Espoir : cognition et/ou motivation
BioulacBernardEn biologie, le mot espoir est rarement utilisé. Aristote est le père du naturalisme. Hippocrate fut le premier à parler de la maladie de la perte de l'espoir, il mit au point la théorie des humeurs.
Avec les mêmes intervenants et intervenantes
-
Demain : quel temps ? Un mathématicien en visite chez Chronos
DeshouillersJean-MarcJean-Marc Deshouillers, professeur à l’Institut de mathématiques de Bordeaux, revient sur la conceptualisation scientifique du temps. Il démontre par le biais d’exemples concrets (Achille et la tortue
Sur le même thème
-
Tuan Ta Pesao : écritures de sable et de ficelle à l'Ile d'Ambrym
VandendriesscheEricCe film se déroule au Nord de l’île d’Ambrym, dans l’archipel de Vanuatu, en Mélanésie...
-
"Le mathématicien Petre (Pierre) Sergescu, historien des sciences, personnalité du XXe siècle"
HerléaAlexandreAlexandre HERLEA est membre de la section « Sciences, histoire des sciences et des techniques et archéologie industrielle » du CTHS. Professeur émérite des universités, membre effectif de l'Académie
-
Webinaire sur la rédaction des PGD
LouvetViolaineRédaction des Plans de Gestion de Données (PGD) sous l’angle des besoins de la communauté mathématique.
-
Alexandre Booms : « Usage de matériel pédagogique adapté en géométrie : une transposition à interro…
« Usage de matériel pédagogique adapté en géométrie : une transposition à interroger ». Alexandre Booms, doctorant (Université de Reims Champagne-Ardenne - Cérep UR 4692)
-
D. Stern - Harmonic map methods in spectral geometry
SternDanielOver the last fifty years, the problem of finding sharp upper bounds for area-normalized Laplacian eigenvalues on closed surfaces has attracted the attention of many geometers, due in part to
-
Y. Lai - A family of 3d steady gradient Ricci solitons that are flying wings
LaiYiWe find a family of 3d steady gradient Ricci solitons that are flying wings. This verifies a conjecture by Hamilton. For a 3d flying wing, we show that the scalar curvature does not vanish at
-
R. Bamler - Compactness and partial regularity theory of Ricci flows in higher dimensions
BamlerRichard H.We present a new compactness theory of Ricci flows. This theory states that any sequence of Ricci flows that is pointed in an appropriate sense, subsequentially converges to a synthetic flow.
-
C. Li - Classifying sufficiently connected PSC manifolds in 4 and 5 dimensions
LiChaoIn this talk, I will discuss some recent developments on the topology of closed manifolds admitting Riemannian metrics of positive scalar curvature. In particular, we will prove if a closed PSC
-
T. Ozuch - Noncollapsed degeneration and desingularization of Einstein 4-manifolds
OzuchTristanWe study the noncollapsed singularity formation of Einstein 4-manifolds. We prove that any smooth Einstein 4-manifold close to a singular one in a mere Gromov-Hausdorff (GH) sense is the result
-
D. Tewodrose - Limits of Riemannian manifolds satisfying a uniform Kato condition
TewodroseDavidPresentation of a joint work with G. Carron and I. Mondello where we study Kato limit spaces.
-
J. Wang - Topological rigidity and positive scalar curvature
WangJianIn this talk, we shall describe some topological rigidity and its relationship with positive scalar curvature. Precisely, we will present a proof that a complete contractible 3-manifold with
-
A. Mondino - Time-like Ricci curvature bounds via optimal transport
MondinoAndreaThe goal of the talk is to present a recent work in collaboration with Cavalletti (SISSA) on optimal transport in Lorentzian synthetic spaces. The aim is to set up a “Lorentzian analog” of the
