À partir de l’incomplétude : indécidabilité logique et aléatoire physique
Organised by: Giuseppe Longo (CNRS)
 

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

[18th March, 2010 at 17:00]

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.

Online ressources [help]

Enregistrement audio du cours n° 4 de Giuseppe Longo

Listen on line
format audio mp3 - 31.8 Mo

Enregistrement vidéo du cours n° 4 de Giuseppe Longo

Watch on line
format quicktime mov, vidéo à la demande / streaming

Document relatif au cours n° 4 de Giuseppe Longo

Download
Format pdf - 265.18 Ko

Weblinks

about this section

Page du cours de Giuseppe Longo

about this conference

no link

about the speaker

Page personnelle de Giuseppe Longo

other conferences

about mathematics

about philosophy

about physics

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.

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


More informations ...

Other conferences in this section:

Consult other events of the same group :

transparent