Si svolge martedì 13 ottobre 2015, ore 15, presso la Sala Mappamondi (ingresso da via Accademia delle Scienze 6 - Torino), l'incontro promosso dall'Accademia delle Scienze di Torino sul tema: George Boole (1815-2015): dalla “Mathematical Analysis of Logic" alla "Computer Science".
 
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