George Boole (1815-2015): dalla “Mathematical Analysis of Logic" alla "Computer Science" Martedì 13 ottobre 2015, ore 15.00 SALA DEI MAPPAMONDI PROGRAMMA Introduce e presiede Alberto Conte (Presidente dell’Accademia delle Scienze di Torino) Umberto Bottazzini (Università degli Studi di Milano) Dall'algebra simbolica alla 'scienza della logica': primi lavori matematici di Boole Massimo Mugnai (Scuola Normale Superiore di Pisa) George Boole: logica naturale e logica artificiale Gabriele Lolli (Accademia delle Scienze di Torino e Scuola Normale Superiore di Pisa) Boole e la probabilità Simona Ronchi Della Rocca (Accademia delle Scienze di Torino e Università degli Studi di Torino) Logica, algebra e linguaggi di programmazione http://www.accademiadellescienze.it/attivita/iniziative-culturali/george-boo... Sala dei Mappamondi, ingresso da Via Accademia delle Scienze 6