Furio Honsell (Matematica e Informatica, Univ. Udine - Sindaco di Udine)
Il complesso di Russell

L'autoriferimento e l'autoappartenenza non sono solamente affascinanti sul
piano logico-matematico, sono anche probabilmente inevitabili sul piano
fondazionale.
Richiamero' dapprima i principali itinerari seguiti insieme a Marco Forti
per superare i vizi fondazionali derivanti dalle eccessive tipizzazioni e
stratificazioni. Discutero' poi  la teoria degli Insiemi di Fitch-Prawitz,
che e' dimostrabilmente coerente pur presentando un principio  di
comprensione incondizionato e la confrontero' con quella degli Iperuniversi
introdotta da Forti e da me.
Discutero' infine la generalizzazione dei giochi di Conway al caso non
benfondato, ad illustrazione del concetto di co-algebra, che e' strettamente
connesso a quello di iperinsieme.