La ricerca logica in Italia

Convegno in onore di Corrado Mangione

  • Aumenta dimensione caratteri
  • Dimensione caratteri predefinita
  • Diminuisci dimensione caratteri
Home Presentazione

Presentazione

Stampa

Il 28 febbraio scorso ci ha lasciato Corrado Mangione, uno dei padri della logica italiana. L’Università degli Studi di Milano, la Facoltà di Lettere e Filosofia e il Dipartimento di Filosofia, su proposta di diversi amici e colleghi di Corrado, hanno promosso l’organizzazione di un convegno in suo ricordo.

Il convegno, sullo stato della ricerca logica in Italia, organizzato da Carlo Cellucci e Edoardo Ballo, si terrà giovedì 10 e venerdì 11 settembre 2009, presso la Sala Napoleonica dell’Università degli Studi di Milano: la partecipazione è libera, ma è gradita una segnalazione della propria partecipazione all'indirizzo e-mail

Questo indirizzo e-mail è protetto dallo spam bot. Abilita Javascript per vederlo.

Nelle mattinate sono previste due lezioni magistrali:

  • “Platone: la trasmutazione del non-essere nell'essere. La diade infinita e l'Uno come fondamento logico e ontologico del concetto di numero irrazionale” tenuta da Imre Toth.
  • “What is a 'fact' in the history of logic” tenuta da Christian Thiel.

Oltre a brevi interventi di presentazione del convegno e di ricordo tenuti da Edoardo Ballo, Ettore Casari, Carlo Cellucci, Domenico Costantini, Giulio Giorello e Carlo Toffalori (AILA), sono previsti alcuni interventi singoli, ma soprattutto interventi a due voci, tenuti da:

Michele Abrusci e Michele Pagani

su

Geometria nella Logica

Mirella Capozzi e Chiara Fabbrizi

su

Logica e retorica fra Seicento e Settecento

Giovanna Corsi e Guido Gherardi

su

Modalità e computazione

Marisa Dalla Chiara e Giuseppe Sergioli

su

Logica e computazione quantistica

Miriam Franchella e Bianca Boretti

su

Proof theory of past, present, and future

Gabriele Lolli e Felice Cardone

su

Teoria delle categorie

Enrico Moriconi e Luca Bellotti

su

Prove di coerenza nella scuola hilbertiana prima e dopo Gödel

Giovanni Sambin e Francesco Ciraulo

su

Fondazione costruttiva della matematica


Umberto Bottazzini

su

Numeri e storia della matematica

Graziana Conte

su

Un approccio categoriale ai flussi di informazione quantistica

Ugo Moscato

su

Teoria della dimostrazione intuizionistica e la dimostrazione automatica

Andrea Pedeferri

su

La logica in Italia nel ‘900

 

Avvisi

Gli atti del convegno sono stati pubblicati nel Quaderno n. 124 di Acme edito da Cisalpino