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
-
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.
-
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.
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
-
"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)
-
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
-
M. Lesourd - Positive Scalar Curvature on Noncompact Manifolds and the Positive Mass Theorem
LesourdMartinThe study of positive scalar curvature on noncompact manifolds has seen significant progress in the last few years. A major role has been played by Gromov's results and conjectures, and in
-
R. Perales - Recent Intrinsic Flat Convergence Theorems
PeralesRaquelThéorèmes récents de convergence plane intrinsèque
-
J. Fine - Knots, minimal surfaces and J-holomorphic curves
FineJoëlI will describe work in progress, parts of which are joint with Marcelo Alves. Let L be a knot or link in the 3-sphere. I will explain how one can count minimal surfaces in hyperbolic 4-space
-
P. Burkhardt - Pointwise lower scalar curvature bounds for C0 metrics via regularizing Ricci flow
Burkhardt-GuimPaulaWe propose a class of local definitions of weak lower scalar curvature bounds that is well defined for C0 metrics. We show the following: that our definitions are stable under greater-than-second
-
D. Semola - Boundary regularity and stability under lower Ricci bounds
SemolaDanieleThe theory of non smooth spaces with lower Ricci Curvature bounds has undergone huge developments in the last thirty years. On the one hand the impetus came from Gromov’s precompactness theorem