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-SARCEY Michèle
Les 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
COIFFET Jean-Claude
Comment 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 ?
CAMBRONNE Patrice
Le 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 ?
GOOTJES Luc
Fondé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
GIDROL Xavier
Confé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
BIOULAC Bernard
En 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
KUPIEC Jean-Jacques
Confé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
DESHOUILLERS Jean-Marc
Jean-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éA Alexandre
Alexandre 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
LOUVET Violaine
Ré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)
-
A. Mondino - Time-like Ricci curvature bounds via optimal transport
MONDINO Andrea
The 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
LESOURD Martin
The 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
-
P. Burkhardt - Pointwise lower scalar curvature bounds for C0 metrics via regularizing Ricci flow
BURKHARDT-GUIM Paula
We 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
-
R. Perales - Recent Intrinsic Flat Convergence Theorems
PERALES Raquel
Théorèmes récents de convergence plane intrinsèque
-
J. Fine - Knots, minimal surfaces and J-holomorphic curves
FINE Joël
I 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
-
D. Semola - Boundary regularity and stability under lower Ricci bounds
SEMOLA Daniele
The 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
-
Y. Lai - A family of 3d steady gradient Ricci solitons that are flying wings
LAI Yi
We 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
-
D. Stern - Harmonic map methods in spectral geometry
STERN Daniel
Over 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
-
R. Bamler - Compactness and partial regularity theory of Ricci flows in higher dimensions
BAMLER Richard 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.