23/04/2009 - 16:00
|
Aula 16
|
Giuseppe Longo
|
Deduzione formale e indecidibilità:
1. Codifica e rappresentazione: primo teorema d’incompletezza
2. Codifica e coerenza: secondo teorema d’incompletezza
3. Il senso e la prova; le «filosofie» contro Hilbert: Poincaré, Weyl et Wittgenstein.
|
||