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
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