ΚΛΕΙΣΙΜΟ
«Δεν τελείωσε πριν καν αρχίσει η προεδρική κούρσα στις ΗΠΑ» όπως νομίζουν πολλοί. Έχουμε να δούμε πολλά επεισόδια ακόμα...

George Boole: Ο μαθηματικός που επινόησε τη «νοημοσύνη» των υπολογιστών

George Boole: Ο μαθηματικός που επινόησε τη «νοημοσύνη» των υπολογιστών

Η δεύτερη ημέρα του Νοέμβρη έχει τεράστια σημασία για την σύγχρονη εποχή της τεχνολογίας και των υπολογιστών. Αυτό διότι σαν σήμερα, γεννήθηκε ο άνθρωπος που «γέννησε» την… λογική τους.

Ο λόγος για τον σπουδαίο μαθηματικό και φιλόσοφο της λογικής, George Boole. Ο Άγγλος επιστήμονας, που γεννήθηκε ακριβώς πριν από 200 χρόνια, άφησε πίσω του ένα έργο που σήμερα αποτελεί θεμέλιο λίθο στον τομέα της πληροφορικής και του προγραμματισμού. Η Google μάλιστα, δεν ξέχασε να τιμήσει τον άνθρωπο που της… έδωσε ζωή, μέσω του νέου της doodle που είναι αφιερωμένο σε αυτόν.

Από τις Διαφορικές Εξισώσεις στην Λογική του Αριστοτέλη – Όταν το «ισχύει ή δεν ισχύει» έγινε «0 ή 1»

Στις αρχές της επιστημονικής του πορείας, ο Boole εστίασε κυρίως στον τομέα των Διαφορικών Εξισώσεων. Από την πρώτη του δημοσίευση, στην μαθηματική εφημερίδα του Cambridge τον Φεβρουάριο του 1840, έγινε γνωστός στον επιστημονικό κύκλο της Αγγλίας. Η ενασχόληση του με της Διαφορικές Εξισώσεις, έδωσε νέα πνοή στον τομέα. Λίγο πριν κλείσει την δεύτερη δεκαετία της ζωής του, ο Boole βραβευόταν με μετάλλιο από την Βασιλική Κοινωνία, για την «Γενική Μέθοδο Ανάλυσης» που διεύρυνε την μελέτη των διαφορικών εξισώσεων. Αυτή όμως ήταν μόλις η αρχή.

Οι επιτυχίες του στις Διαφορές Εξισώσεις, που τον οδήγησαν σε σπουδαίες τιμές και διακρίσεις, ήταν σαν να έδωσαν ώθηση στον πασίγνωστο μαθηματικό. Είχε έρθει η στιγμή να δημιουργήσει κάτι ακόμα πιο σημαντικό. Κάτι εντελώς πρωτοποριακό, ικανό να επηρεάσει όχι μόνο τα ίδια τα μαθηματικά, αλλά και την ζωή μας συνολικότερα. Το 1847 με την δημοσίευση της «Μαθηματικής Ανάλυσης της Λογικής», ο Boole εισχώρησε σε έναν σχετικά ανεξερεύνητο, τότε, τομέα.

Έναν τομέα που δεν άνηκε τόσο στα μαθηματικά, όσο στην φιλοσοφία. Ο Boole προσπάθησε να «μαθηματικοποιήσει» το σύστημα λογικής που ανέπτυξε ο Αριστοτέλης. Την λογική του  «είναι» ή «δεν είναι». Ή αλλιώς του «1» ή «0». Πιο συγκεκριμένα, την λογική που μετά από χρόνια ανέπτυξε τον προγραμματισμό, εφοδίασε κάθε ηλεκτρονική συσκευή και δημιούργησε πανίσχυρες υπολογιστικές μηχανές.

Η «Αλγεβρα Boole» που γέννησε τον προγραμματισμό – Πώς λειτουργούν οι βασικές τις έννοιες

Η Άλγεβρα είναι ένας από τους πιο σημαντικούς τομείς των μαθηματικών. Ανάμεσα στις πολλές υποκατηγορίες της, ο Boole εισήγαγε μια από τις πλέον σημαντικές. Την γνωστή και ως «Άλγεβρα Boole».

Το δημιούργημα του Άγγλου μαθηματικού έχει στηριχθεί πάνω στις αρχές της ευρύτερης άλγεβρας, έχοντας όμως μια πολύ ιδιαίτερη δομή. Σε αντίθεση με την στοιχειώδη άλγεβρα όπου οι τιμές των μεταβλητών είναι αριθμοί και οι κύριες πράξεις είναι η πρόσθεση και ο πολλαπλασιασμός, η άλγεβρα Boole εμφανίζει μόνο τις τιμές 1 και 0. Παράλληλα έχει τρεις κύριες πράξεις, τη σύζευξη «∧», τη διάζευξη «∨» και την άρνηση «¬».

Τι σημασία έχει καθεμία από αυτές τις τρεις πράξεις, που ορίζουν την «Άλγεβρα Boole»;

Αν μια μεταβλητή πάρει την τιμή «1», τότε αυτό σημαίνει ότι είναι αληθής. Από την άλλη, το «0» αντιστοιχεί στις ψευδείς προτάσεις. Για παράδειγμα η πρόταση «το 12 διαιρείται από το 6» είναι μια αληθής πρόταση, όπως και το ότι «το 4 είναι διαιρέτης του 8». Αντιθέτως, αν κάποιος έλεγε ότι «το 12 διαιρείται από το 5» τότε η πρόταση θα ήταν ψευδής, δηλαδή θα έπαιρνε τιμή «0».

Η σύζευξη ουσιαστικά συνοψίζει δύο προτάσεις σε μία. Το «∧» ουσιαστικά αντιστοιχεί στην λέξη «και». Για να είναι αληθής μια σύζευξη, θα πρέπει και οι δύο προτάσεις που περιέχει να είναι αληθείς.

Σε κάθε άλλη περίπτωση, η σύζευξη παίρνει τιμή «0». Συμβολικά είναι x∧y = 1, αν x = y = 1, και x∧ y = 0 διαφορετικά.

Από την άλλη, η διάζευξη συνθέτει δύο προτάσεις με την λέξη «ή». Αν ισχύει μία από τις δύο, τότε και η διάζευξη είναι αληθής. Συμβολικά είναι x∨ y = 0, αν x = y = 0, και x ∨ y = 1 διαφορετικά.

Η έννοια της άρνησης είναι σχεδόν… τετριμμένη. Αν ισχύει μια πρόταση, τότε δεν ισχύει η αντίθετη της. Αφού το «6 διαιρεί το 12» είναι αληθές, τότε το «6 δεν διαιρεί το 12» είναι ψευδές. Συμβολικά είναι ¬x = 0, αν x = 1, και ¬ x = 1 αν x = 0.

Το τεράστιο αφιέρωμα του Πανεπιστημίου του Κορκ – Που θα βρείτε τα πάντα για τον ξεχωριστό κ. Boole

Οι υπολογιστικές μηχανές δημιουργήθηκαν με βάση αυτήν την λογική. Μια λυχνία είτε άναβε, είτε παρέμενε σβηστή, ανάλογα με την αλήθεια της αντίστοιχης πρότασης που εισαγόταν στον υπολογιστή.

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

Ακόμα και η τεχνητή νοημοσύνη, βασίζεται σε αυτό το ιδιοφυές σύστημα που εισήγαγε ο σπουδαίος Άγγλος μαθηματικός.

Μια φωτογραφία χίλιες λέξεις: Ακολούθησε το pronews.gr στο Instagram για να «δεις» τον πραγματικό κόσμο!

Για αυτό το λόγο, πέρα από την Google, το πανεπιστήμιο του Κορκ, στο οποίο υπήρξε καθηγητής για πολλά χρόνια, γιορτάζει τα 200 χρόνια από την γέννηση του με ένα τεράστιο αφιέρωμα, στο οποίο μπορείτε να βρείτε κάθε πληροφορία τόσο για αυτόν, όσο και για το έργο του.

ΤΕΛΕΥΤΑΙΕΣ ΕΙΔΗΣΕΙΣ
ΔΕΙΤΕ ΟΛΑ ΤΑ ΝΕΑ
ΣΧΟΛΙΑΣΤΕ ΤΟ ΑΡΘΡΟ

Tο pronews.gr δημοσιεύει κάθε σχόλιο το οποίο είναι σχετικό με το θέμα στο οποίο αναφέρεται το άρθρο. Ο καθένας έχει το δικαίωμα να εκφράζει ελεύθερα τις απόψεις του. Ωστόσο, αυτό δεν σημαίνει ότι υιοθετούμε τις απόψεις αυτές και διατηρούμε το δικαίωμα να μην δημοσιεύουμε συκοφαντικά ή υβριστικά σχόλια όπου τα εντοπίζουμε. Σε κάθε περίπτωση ο καθένας φέρει την ευθύνη των όσων γράφει και το pronews.gr ουδεμία νομική ή άλλα ευθύνη φέρει.

Δικαίωμα συμμετοχής στη συζήτηση έχουν μόνο όσοι έχουν επιβεβαιώσει το email τους στην υπηρεσία disqus. Εάν δεν έχετε ήδη επιβεβαιώσει το email σας, μπορείτε να ζητήσετε να σας αποσταλεί νέο email επιβεβαίωσης από το disqus.com

Όποιος χρήστης της πλατφόρμας του disqus.com ενδιαφέρεται να αναλάβει διαχείριση (moderating) των σχολίων στα άρθρα του pronews.gr σε εθελοντική βάση, μπορεί να στείλει τα στοιχεία του και στοιχεία επικοινωνίας στο [email protected] και θα εξεταστεί άμεσα η υποψηφιότητά του.