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.


Aperçu du document Conf20062014.pdf - page 1/1




Télécharger le fichier (PDF)


Conf20062014.pdf (PDF, 348 Ko)

Télécharger
Formats alternatifs: ZIP



Documents similaires


conf20062014
le theoreme
equilibre gene
www mathovore fr le raisonnement par recurrence cours maths 23
recherche cardinal quantitatif 02 01 2021 22h56
liste de concepts

Sur le même sujet..