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

Seminario di Logica e Geometria della Cognizione

Venerdì 22/11/13, ore 11, Dipartimento di Matematica e Fisica, Aula Seminari 311, largo San L. Murialdo 1 - Roma, V.Michele Abrusci (Università RomaTre) terrà un seminario dal titolo Dai grandi teoremi della logica del XX secolo alla Sintassi Trascendentale promosso dal Gruppo di Ricerca in “Logica e Geometria della Cognizione” presso il Dipartimento di Matematica e Fisica.

Abstract
Saranno presentate e discusse alcune questioni filosofiche connesse con la piena comprensione dei principali teoremi della logica del XX secolo (teorema di completezza della logica del primo ordine, teorema di eliminazione del taglio dalle dimostrazioni logiche del primo ordine, teoremi di incompletezza di Goedel, .. ) e sarà mostrato come la Sintassi Trascendentale sia un nuovo programma di ricerca per lo sviluppo della logica matematica che mira ad affrontare sistematicamente tali questioni.

Per informazioni:
V.M. Abrusci
tel. 0657338419, abrusci@uniroma3.it
http://logica.uniroma3.it


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 = 's7dsvhhprb2qttegs6dhid3kp7' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/577', '', '216.73.216.11', 1759638419) in /var/www/church/includes/database.mysql.inc on line 121

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: INSERT INTO sessions (sid, uid, cache, hostname, session, timestamp) VALUES ('s7dsvhhprb2qttegs6dhid3kp7', 0, 0, '216.73.216.11', '', 1759638419) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/577', '', '216.73.216.11', 1759638419) in /var/www/church/includes/database.mysql.inc on line 121