| old_uid | 6380 |
|---|---|
| title | Goedel : déduction formelle et indécidabilité |
| start_date | 2009/03/04 |
| schedule | 17h30-19h30 |
| online | no |
| summary | 1- codage et représentation : premier théorème d’incomplétude ; 2- codage et cohérence : deuxième théorème d’incomplétude ; 3- le sens et la preuve ; des “philosophies” contre Hilbert : Poincaré, Weyl et Wittgenstein |
| responsibles | Longo, Paul |