Conf20062014 .pdf

---

Ce document au format PDF 1.3 a été généré par Aperçu / Mac OS X 10.9.3 Quartz PDFContext, et a été envoyé sur fichier-pdf.fr le 12/06/2014 à 21:44, depuis l'adresse IP 138.231.x.x. La présente page de téléchargement du fichier a été vue 842 fois.
Taille du document: 348 Ko (1 page).
Confidentialité: fichier public

Aperçu du document

---

CONFERENCE GRAND
PUBLIC
Limites Logiques et
Mathématiques
Jean-Paul Delahaye
Professeur Laboratoire
Informatique
Fondamentale de Lille.
Prix  d’Alembert de la
Société Mathématiques
de France.
Auteur d’une  vingtaine  
d’ouvrages  dont:
La logique: un aiguillon
pour la pensée. Editions
Belin, 2012.
Le  fascinant  nombre  π.
Logique, Informatique et
Paradoxes.

VENDREDI 20 JUIN 2014
10H-11H
Lieu: AMPHITHEATRE MOKHTAR LAATIRI
Ecole Nationale des Ingénieurs de Tunis.

De l'Antiquité (avec l'irrationalité de la racine de 2) à la
logique moderne (avec l'incomplétude de Gödel et les
fonctions non calculables de Turing) on trouve de
nombreux exemples de preuves d'impossibilité en
mathématiques: impossibilité de la résolution par radicaux
des équations de degré 5; impossibilité de la quadrature du
cercle; impossibilité de démontrer l'axiome des parallèles,
l'axiome du choix, l'hypothèse du continu, etc. Ces
démonstrations d'impossibilité sont bien sûr troublantes,
mais elles sont aussi riches d'idées et de compréhensions
nouvelles. Cet exposé, pour un public assez large,
commencera par des questions élémentaires et se terminera
par l'évocation de résultats récents qui donnent une
nouvelle vision du phénomène de l'incomplétude logique.



Sur le même sujet..

---