Σαν σήμερα (2 Νοεμβρίου 2015) πριν από 200 χρόνια γεννήθηκε στην Αγγλία ο George Boole, μαθηματικός, φιλόσοφος και μελετητής της λογικής.

Για να τιμήσει τον μεγάλο μαθηματικό η Google του αφιέρωσε το doodle της 2-11-2015.

Ο Μπουλ δεν θεωρούσε τη λογική ως κλάδο των μαθηματικών, αλλά ο Μπουλ παρείχε μια γενική συμβολική μέθοδο λογικού συμπεράσματος. Ο Μπουλ πρότεινε ότι οι λογικές προτάσεις θα πρέπει να εκφράζονται μέσω των αλγεβρικών εξισώσεων. Ο καλός χειρισμός των συμβόλων στις αλγεβρικές εξισώσεις θα παρέχει μία ασφαλή μέθοδο του επαγωγικού συλλογισμου: δηλαδή η λογική ανάγεται σ'ένα είδος άλγεβρας.

Περισσότερες πληροφορίες για τον George Boole [1] και την άλγεβρα [2] του