Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'lojh6068th5sbcdlcitf8qk2t3' in /var/www/church/includes/database.mysql.inc on line 121
Gruppo di Logica e Geometria della Cognizione
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.


Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'lojh6068th5sbcdlcitf8qk2t3' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/286', '', '216.73.216.58', 1751585665) in /var/www/church/includes/database.mysql.inc on line 121