Ressources

Publié le 24 février 2016 Mis à jour le 24 février 2016

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

Retour dans une conférence sur celui qui bouscula la philosophie des mathématiques et la question de leur fondement.

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 /

Crédit photo : Be Good / Shutterstock.com

En savoir plus sur cette ressource

Dossiers

  • Formidables formules


Le fil RSS de Thot Cursus - Besoin d'un lecteur RSS ? FeedBinFeedly , NewsBlur


Les messages de Thot sur BlueSky



Superprof : la plateforme pour trouver les meilleurs professeurs particuliers en France (mais aussi en Belgique et en Suisse)


Réviser le Code de la route



Recevez notre Dossier de la semaine par courriel

Restez informé sur l’apprentissage numérique sous toutes ses formes. Des idées et des ressources intéressantes. Profitez-en, c’est gratuit !