- 00:00Introduction
- 01:27Aristote, Euclide er la formalisation du réel
- 06:34Leibniz et la logique de cohérence
- 08:00Descartes et l'algébrisation de la géométrie
- 09:13Galilée, Newton et la modélisation du réel
- 10:01Axiomatisation de la géométrie
- 11:33Gauss, Bolyai et Lobachevski
- 14:52Les modèles non euclidiens
- 17:37Hilbert et l'axiomatisation de la géométrie
- 21:02La théorie des ensembles
- 32:10Formalisation du discours mathématique
- 46:33Modèle ensembliste d'un système formel
- 47:10 - Théorie des groupes
- 50:37 - Théorème de complétude de Gödel
- 58:24 - Premier théorème d'incomplétude de Gödel
- 1:04:22 - Second théorème d'incomplétude de Gödel
- 1:06:10Les mathématiques post-godéliennes
- 1:06:48 - Enoncé de consistance
- 1:10:23 - Impact sur la pratique du mathématicien
- 1:12:00 - La question du "Fini"
- 1:22:29 - L'intuitionnisme
- 1:25:59 - Calculabilité et algorithmes
Dans la même collection






Les chapitres
Les théorèmes de Gödel : fin d’un espoir ?
-
- Label UNT : UNIT
-
- Date de réalisation : 22 Février 2006
- Durée du programme : 90 min
- Classification Dewey : Philosophie et théorie des sciences naturelles et mathématiques, Mathématiques
-
- Catégorie : Conférences
- Niveau : Tous publics / hors niveau
- Disciplines : Mathématiques
- Collections : Saison 2005-2006 : L'Espoir
- ficheLom : Voir la fiche LOM
-
- Auteur(s) : DESHOUILLERS Jean-Marc
- producteur : DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen
- Réalisateur(s) : DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen
- Editeur : DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen , Service Culturel - Université Bordeaux Segalen
commentaires
Ajouter un commentaire Lire les commentaires