20/05/2009 - 16:00
|
Aula 16
|
Giuseppe Longo
|
L’incompletezza oggi: l’incompletezza matematica dei sistemi formali.
1. Forma Finita di Friedman del teorema di Kruskal
2. Analisi dei passaggi non-formalizzabili; il senso vs l’ordine o gli ordinali.
|
||