Guido Gherardi
Università di Bologna

Tutti credono di sapere cosa sia l'Algebra di Boole. In realtà quella che noi oggi chiamiamo Algebra di Boole è un prodotto derivato e semplificato del calcolo originario proposto da Boole, sicché possiamo ormai dire che il vero calcolo booleano, con le sue finalità e motivazioni, sia essenzialmente caduto nell'oblio.
Nel seminario mi propongo di presentare le basi dell'Algebra di Boole secondo le concezioni dello stesso autore, cercando di dare un assaggio della sua bellezza e potenza formale, e al contempo cercherò di mettere in luce le ragioni logico-matematiche del suo funzionamento rielaborando la materia esposta da Boole in un modo a tratti piuttosto oscuro e non sempre rivelatore delle sottili connessioni concettuali in gioco.

Joint work con Giovanna Corsi