Dai grandi teoremi della logica del XX secolo alla Sintassi Trascendentale

Speaker:
V. Michele Abrusci (Università Roma Tre)
Quando:
07/11/2014 - 11:30
Dove:
Dipartimento di Matematica e Fisica, Aula Seminari 311 largo San L. Murialdo 1 - Roma
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 sviluppare la logica matematica ed affrontare sistematicamente tali questioni.