| old_uid | 6641 |
|---|---|
| title | L’incomplétude, aujourd’hui : l’incomplétude mathématique des systèmes formels |
| start_date | 2009/04/01 |
| schedule | 17h30-19h30 |
| online | no |
| summary | 1- typage et cohérence : théorèmes de normalisation à la Girard ; 2- forme finie de Friedman du théorème de Kruskal ; 3- analyse des passages non-formalisables ; le sens vs. l’ordre ou les ordinau |
| oncancel | report au 1er avril |
| responsibles | Longo, Paul |