Menu

26

Apr 2006

La complessità di Gödel

April 26, 2006

April 28, 2006

Nel centenario della nascita (1906-2006)

Aula Magna del Rettorato, Università degli Studi di Torino, Via Verdi 8, Torino.

scarica programma

Organizzatori: proff. Gabriele Lolli e Ugo Pagallo
Per informazioni:
dott.ssa Eleonora Bassi (eleonora.bassi@unito.it) .

Con il contributo della Fondazione CRT

Programma:
Mercoledì 26 aprile 2006ore 9,30
Saluti del Rettore
Saluti dei Presidi delle Facoltà di Giurisprudenza
e di Scienze Matematiche, Fisiche e Naturali
UGO PAGALLO (Università di Torino)
La misura di Gödel: introduzione ai lavori
JOHN CASTI (Wissenschaftzentrum Wien)
Roots of Modern System Theory:
An Austrian Perspective
Coffee Break
GABRIELE LOLLI (Università di Torino)
La filosofia della matematica di Gödel
ore 16
CRISTIAN CALUDE (University of Auckland, New Zealand)
Incompleteness, Uncertainty and Complexity
Coffee Break
GIOVANNI SAMBIN (Università di Padova)
Incompletezza costruttiva

Giovedì 27 aprile 2006
ore 10
CARLO TOFFALORI (Università di Camerino)
Vero e dimostrabile:
Gödel nella letteratura poliziesca
CARLO CELLUCCI (Università La Sapienza – Roma)
Gödel aveva qualcosa da dire
sulla natura del ragionamento?
ore 16
ANDREA ROSSETTI (Università di Milano – Bicocca)
La completezza del diritto e il teorema di Gödel
Coffee Break
MASSIMO MUGNAI (Scuola Normale Superiore di Pisa)
Gödel e Leibniz
Interviene AMEDEO G. CONTE (Accademia dei Lincei,
Università di Pavia)

Venerdì 28 aprile 2006
ore 10
UMBERTO BOTTAZZINI (Università di Milano)
Gödel geometra
GREGORY CHAITIN (Th.J. Watson Research
Center IBM – New York)
The Halting Probability Omega:
Irreducible Complexity in Pure Mathematics
ore 16
MAURIZIO FERRARIS (Università di Torino)
Gödel e Kant
Coffee Break
Tavola rotonda conclusiva
per la presentazione del terzo volume
delle Opere di Gödel
(Bollati Boringhieri, 2006)
Presiede GABRIELE LOLLI (Università di Torino)