Lien 
vers le site de l'ENS
ÉCOLE NORMALE SUPÉRIEUREPARIS
Lien vers l'accueil
lancer la recherche

» Conférences d’après mars 2011 : nouveau site

2748

À partir de l’incomplétude : indécidabilité logique et aléatoire physique

< précédent | suivant >

Séance 2 - Gödel : Déduction formelle et indécidabilité
Giuseppe Longo (CNRS)

11 mars 2010

1. Codage et représentation : premier théorème d’incomplétude.
2. Codage et cohérence : deuxième théorème d’incomplétude.
3. Le sens et la preuve ; des “philosophies” contre Hilbert : Poincaré, Weyl et Wittgenstein.

Écouter
pictogrammeformat audio mp3 - 36.49 Mo

- Visualiser
- Télécharger
pictogrammeformat quicktime mov, vidéo à la demande / streaming

Giuseppe Longo Giuseppe Longo (CNRS)
Équipe "Complexité et information morphologiques" (CIM), Laboratoire d’Informatique de l’ENS (LIENS).
Membre à temps partiel du CREA, Ecole Polytechnique.
Membre co-fondateur du CenECC, ENS.
Ancien responsable de l’équipe Langages, Types et Logique, LIENS.
Ancien Professeur ("Professore Ordinario") d’Informatique, Universita’ di Pisa.