Ressource en auto-formation : Les théorèmes de Gödel : fin d’un espoir ?

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 leur...
cours / présentation - Création : 22-02-2006
Par : Jean-Marc DESHOUILLERS
Partagez !

Présentation de: Les théorèmes de Gödel : fin d’un espoir ?

Informations pratiques sur cette ressource

Langue du document : Français
Type : cours / présentation
Niveau : enseignement supérieur
Durée d'exécution : 1 heure 29 minutes 52 secondes
Contenu : vidéo
Document : video/mp4
Poids : 299.84 Mo
Droits d'auteur : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs.

Description de la ressource en auto-formation

Résumé

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 /

"Domaine(s)" et indice(s) Dewey

  • Philosophie et théorie des sciences naturelles et mathématiques (501)
  • Mathématiques (510)

Domaine(s)

Intervenants, édition et diffusion

Intervenants

Fournisseur(s) de contenus : DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen, Service Culturel - Université Bordeaux Segalen, DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen

Édition

  • DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen

Diffusion

Document(s) annexe(s) - Les théorèmes de Gödel : fin d’un espoir ?

Partagez !

AUTEUR(S)

  • Jean-Marc DESHOUILLERS

DIFFUSION

Cette ressource en auto-formation vous est proposée par :
Canal-U - accédez au site internet
Sur les réseaux sociaux :

ÉDITION

DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen

EN SAVOIR PLUS

  • Identifiant de la fiche
    3954
  • Identifiant OAI-PMH
    oai:canal-u.fr:3954
  • Schéma de la métadonnée
  • Entrepôt d'origine
    Canal-U
  • Publication
    22-02-2006

Ressources en auto-formation sur les mêmes thèmes

OEF Permutation
Auteur(s) : Xiao Gang
Description : collection d'exercices sur les permutations. Ce module est composé des exercices suivants : - Anagramme avec cycles ; - Anagramme avec liste ; - Anagramme inverse avec cycles ; - Anagramme inverse avec liste ; - Ordre avec cycles ; - Ordre avec liste ; - Ordre et parité ...
Ensembles
Auteur(s) : Perrin-Riou Bernadette, Sophie
Description : collection d'exercices sur les ensembles, les événements et les applications entre deux ensembles finis. Ce module est composé des exercices suivants : - C5 - Distance de Manhattan ; - C4 - Répartition d'élèves dans des options ; - B1 - Comparer deux ensembles ; - E1 - Dénombr ...