Τζορτζ Μπουλ
Άγγλος μαθηματικός και φιλόσοφος της λογικής. Συνέβαλε στην καθιέρωση της συμβολικής λογικής ως ανεξάρτητης επιστήμης και ανέπτυξε την άλγεβρα της λογικής (γνωστή σήμερα ως άλγεβρα Μπουλ), η οποία έχει βρει ευρεία εφαρμογή στη σχεδίαση του λογισμικού και των κυκλωμάτων των ηλεκτρονικών υπολογιστών. Η σύνθετη αναζήτηση στο διαδίκτυο με τελεστές, βασίζεται στην άλγεβρα του Μπουλ.
Ο Τζορτζ Μπουλ (George Boole) γεννήθηκε στο Λίνκολν της Ανατολικής Αγγλίας στις 2 Νοεμβρίου 1815. Γιος εμπόρου, διδάχθηκε κατ’ οίκον τα εγκύκλια μαθήματα και σε ηλικία 16 ετών διορίστηκε δάσκαλος στο Ντονκάστερ. Φιλομαθής και φιλέρευνος χαρακτήρας, έμαθε μόνος του μαθηματικά για να αναμετρηθεί με τα μεγάλα επιστημονικά έργα, όπως τα «Principia» του Ισαάκ Νεύτωνος, την «Πραγματεία περί ουράνιας μηχανικής» του Πιερ - Σιμόν Λαπλάς και την «Αναλυτική Μηχανική» τοy Ζοζέφ-Λουί Λαγκράνζ. Η εξέλιξή του ήταν ραγδαία, με αποτέλεσμα να επιλύει με ευχέρεια προχωρημένα προβλήματα στην άλγεβρα.
Ο Μπουλ υπογράμμιζε την αναλογία ανάμεσα στα αλγεβρικά σύμβολα και τα σύμβολα που παριστάνουν λογικούς τύπους και συλλογισμούς και κατέδειξε πώς μπορούν να διακριθούν τα σύμβολα ποσοτήτων (ποσοδείκτες) από τα σύμβολα πράξεων (τελεστές). Με τα δυο αυτά έργα του εγκαινιάστηκε η άλγεβρα της λογικής ή αυτό που σήμερα ονομάζεται άλγεβρα Μπουλ.
Στην άλγεβρα αυτή δεν χρησιμοποιούνται αριθμοί και μεγέθη, αλλά μόνο οι νόμοι της λογικής, μέσα από τρεις απλούς τελεστές, τον AND (και), που συμβολίζει τη σύζευξη, τον OR (ή), που συμβολίζει τη διάζευξη, και τον NOT (όχι), που συμβολίζει την άρνηση. Στην άλγεβρα του Μπουλ είναι δυνατή η εκτέλεση λογικών και αριθμητικών πράξεων.Το αποτέλεσμα μιας πράξης μπορεί να είναι αλήθεια (true) ή ψέμα (false), που συνήθως αναπαριστάται με τα ψηφία 1 και 0 αντίστοιχα. Οι κανόνες της άλγεβρας του Μπουλ επαληθεύτηκαν έναν αιώνα αργότερα και συγκεκριμένα το 1937 από τον αμερικανό μαθηματικό Τζορτζ Στίμπιτζ.
Πρωτότυπη και αξιοσημείωτη είναι η γενική συμβολική μέθοδος λογικής διαδικασίας για εξαγωγή συμπεράσματος του Μπουλ, την οποία ανέπτυξε το 1854, στο έργο του που προαναφέρθηκε. Δοκίμασε, επίσης, μία αντίστοιχη μέθοδο με πιθανότητες, που επέτρεπε από δοθείσες πιθανότητες ενός οποιουδήποτε συστήματος συμβάντων να προσδιοριστεί η πιθανότητα ενός άλλου τυχαίου συμβάντος, που συνδέεται λογικά με τα αρχικά συμβάντα του συστήματος.
Το 1855 παντρεύτηκε την 23χρονη Μαίρη Έβερεστ, με την οποία απέκτησε πέντε κορίτσια και το 1857 εξελέγη εταίρος της Βασιλικής Εταιρείας. Τα έργα του που ακολούθησαν, η «Πραγματεία περί διαφορικών εξισώσεων» («Treatise on Differential Equations», 1859) και η «Πραγματεία περί τού λογισμού των πεπερασμένων διαφορών» («Treatise on the Calculus of Finite Differences») το 1860, ενσωματώνουν επεξεργασμένες τις σπουδαιότερες ανακαλύψεις του Μπουλ.
Παρ’ όλο που φαινόταν δυσνόητος και ασαφής, ο τρόπος συλλογιστικής διαδικασίας του Μπουλ οδήγησε σε εφαρμογές που ο ίδιος δεν είχε καν ονειρευτεί, όπως στους ηλεκτρονόμους των τηλεφωνικών κυκλωμάτων και τους ηλεκτρονικούς υπολογιστές. Η άλγεβρά του είναι σημαντική και σε άλλα πεδία, όπως η Στατιστική, η Θεωρία συνόλων και ο προγραμματισμός.
Στα τέλη Νοεμβρίου του 1864 ο Μπουλ είχε την απερισκεψία να κάνει μάθημα με βρεγμένα από τη βροχή ρούχα. Αρρώστησε και ανέβασε υψηλό πυρετό. Η σύζυγός του πίστευε ότι η θεραπεία θα έπρεπε να είναι όμοια με την αιτία της αρρώστιας του και άρχισε να του ρίχνει κουβάδες με νερό στο κρεβάτι του. Η κατάσταση της υγείας του μεγάλου επιστήμονα διαρκώς χειροτέρευε και στις 8 Δεκεμβρίου 1864 άφησε την τελευταία του πνοή σε ηλικία 49 ετών από πλευριτική συλλογή (συσσώρευση υγρού γύρω από τους πνεύμονες).