Conf20062014 .pdf
Nom original: Conf20062014.pdfTitre: poster2.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 839 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.

Documents similaires
Sur le même sujet..
logique
conference
public
hypothese
informatique
axiome
mathematiques
demontrer
degre
continu
choix
incompletude
paralleles
demonstrations
impossibilite