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

2750

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

< précédent | suivant >

Séance 4 - L’incomplétude en logique aujourd’hui : l’incomplétude mathématique des formalismes
Giuseppe Longo (CNRS)

18 mars 2010

1. La forme finie de Friedman du théorème de Kruskal ; le sens et l’ordre, la cognition versus les ordinaux.
2. Les théorèmes de normalisation en Théorie des Types et la cohérence de l’analyse.

Écouter
pictogrammeformat audio mp3 - 31.8 Mo

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

Télécharger
pictogrammeFormat pdf - 265.18 Ko

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.