Ressource documentaire

Les théorèmes de Gödel : fin d’un espoir ? (en Français)


URL d'accès : http://www.canal-u.tv/canalu/producteurs/universit...

Droits : Droits réservés à l'éditeur et aux auteurs

Auteur(s) : DESHOUILLERS Jean-Marc, DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen
Éditeur(s) : DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen
22-02-2006

Description : 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 /
Mots-clés libres : calculabilité, formalisation mathématique, intuitionnisme, philosophie des mathématiques, théorème de Gödel, théorème d’incomplétude, théorie des ensembles, théorie des groupes, théorie mathématique
TECHNIQUE

Type : image en mouvement
Format : video/x-flv


Source(s) : 
rtmp://streamer2.cerimes.fr/vod/canalu/videos/groupe_dcam/DCAM_060222_deshouillers.1216299154


Entrepôt d'origine : Canal-U - OAI Archive
Identifiant : oai:canal-u.fr:157835
Type de ressource : Ressource documentaire
Exporter au format XML

Ressource pédagogique

Les théorèmes de Gödel : fin d’un espoir ? (en Français)


URL d'accès : http://www.canal-u.tv/canalu/producteurs/universit...
rtmp://streamer2.cerimes.fr/vod/canalu/videos/grou...

Identifiant de la fiche : 157835
Schéma de la métadonnée : LOMv1.0, LOMFRv1.0

Droits : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs

Auteur(s) : DESHOUILLERS JEAN-MARC
Éditeur(s) : DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen, Service Culturel - Université Victor Segalen Bordeaux 2, DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen, DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen
22-02-2006

Description :  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 /
Mots-clés libres : calculabilité, formalisation mathématique, intuitionnisme, philosophie des mathématiques, théorème de Gödel, théorème d’incomplétude, théorie des ensembles, théorie des groupes, théorie mathématique

Classification UNIT : Mathématiques > Fondamentaux
Classification : Mathématiques et Sciences de la nature et de la matière > Mathématiques
Mathématiques et Sciences de la nature et de la matière > Généralités - Mathématiques et Sciences de la nature et de la matière
Indice(s) Dewey: Mathématiques (510)
Philosophie et théorie des sciences naturelles et mathématiques (501)


PEDAGOGIQUE

Type pédagogique : cours / présentation

Niveau : enseignement supérieur, autres



TECHNIQUE


Type de contenu : image en mouvement
Format : video/x-flv
Taille : 299.84 Mo
Durée d'exécution : 1 heure 29 minutes 52 secondes



RELATIONS


Cette ressource fait partie de :
  • Saison 2005-2006 : L'Espoir



Entrepôt d'origine : Canal-U - OAI Archive
Identifiant : oai:canal-u.fr:157835
Type de ressource : Ressource pédagogique
Exporter au format XML