200 χρόνια σήμερα από την γέννηση του George Boole (σε περίπτωση που δεν καταλάβατε το σημερινό Google Doodle δηλαδή) και θυμήθηκα μια ιστορία:
Κάπου 20 χρόνια πριν εξετάστηκε ένας φίλος μου στην διδακτορική του διατριβή και κάποια στιγμή φτάνει η ώρα των ερωτήσεων. Υπήρχε ένας μέλος ΔΕΠ που ήταν κάπως πιο επιθετικό στις ερωτήσεις (χωρίς να υπάρχει κάποιος ιδιαίτερος λόγος) και κάνει την κλασική ερώτηση:
– Και που μπορεί να είναι χρήσιμα όλα αυτά στον πραγματικό κόσμο;
– Τι να σας πω. Και ο Boole όταν έφτιαξε την Άλγεβρα του, δεν περίμενε να υπάρχουν ηλεκτρονικοί υπολογιστές!
– Τολμάς να συγκρίνεις τον εαυτό σου με τον Boole;
Για όποιον ενδιαφέρεται, An Investigation in the Laws of Thought.
Θέλουμε και τη συνέχεια της ιστορίας!
Υπήρξε μια ανακατωσούρα με γέλια και μουρμουρητά, αλλά όλα καλά.
Κοιτα παει μακρια η βαλιτσα. Τα συγχρονα μαθηματικα , αρα και του boole, δημιουργηθηκαν σαν ενα απολυτο μεσο για την επιβεβαιωση φιλοσοφικων ιδεων. Εκει ανηκει και η δουλεια του Boole. Τυποποίησε (formalization) λογικές πράξεις με τέτοιο τρόπο που να μην επιδέχονται κριτικής. Μετά κάποια χρόνια γίνανε και αλλού χρησιμα γιατι ενα καλό εργαλείο χρησιμοποιείται πολλάκις.