Η λογική βρίσκεται πίσω από πολλά πράγματα που θεωρούμε αυτονόητα. Από τις μαθηματικές αποδείξεις μέχρι τον τρόπο που λειτουργούν οι υπολογιστές. Στο παρακάτω βίντεο από το εκπληκτικό ελληνικό κανάλι «The Skeptic Theory», θα δεις μια σύντομη αλλά ουσιαστική ιστορική διαδρομή για το πώς οι άνθρωποι προσπάθησαν να βάλουν τη σκέψη, τα μαθηματικά και την αλήθεια σε πιο σταθερές βάσεις.
Το βίντεο ξεκινά από μια απλή ιδέα. Στα μαθηματικά δεν αρκεί να πιστεύουμε ότι κάτι ισχύει, πρέπει να μπορούμε να το αποδείξουμε. Έτσι μπαίνουν στο παιχνίδι έννοιες όπως τα θεωρήματα, τα αξιώματα και οι αποδείξεις, δηλαδή τα βασικά «υλικά» πάνω στα οποία χτίζεται ο μαθηματικός συλλογισμός.
Στη συνέχεια παρουσιάζονται σημαντικές μορφές που επηρέασαν την πορεία της λογικής, όπως ο Αριστοτέλης, ο Λάιμπνιτς, ο Τζορτζ Μπουλ, ο Κάντορ, ο Φρέγκε, ο Μπέρτραντ Ράσελ και ο Γουάιτχεντ. Μέσα από αυτούς θα καταλάβεις πώς η λογική άρχισε σιγά σιγά να συνδέεται πιο στενά με τα μαθηματικά και πώς αυτή η σύνδεση οδήγησε σε μεγάλες ανακαλύψεις, αλλά και σε μεγάλα προβλήματα.
Ιδιαίτερη αναφορά γίνεται στο περίφημο παράδοξο του Ράσελ, που έδειξε ότι ακόμη και τα πιο προσεκτικά μαθηματικά συστήματα μπορούν να κρύβουν αντιφάσεις. Από εκεί, το βίντεο φτάνει στο θεώρημα της μη πληρότητας του Κουρτ Γκέντελ, μία από τις πιο σημαντικές ιδέες στην ιστορία της λογικής. Με απλά λόγια, το θεώρημα αυτό δείχνει ότι υπάρχουν όρια σε όσα μπορούμε να αποδείξουμε μέσα σε ένα λογικό σύστημα.
Το ενδιαφέρον είναι πως όλη αυτή η αναζήτηση δεν έμεινε μόνο στη φιλοσοφία ή στα μαθηματικά. Επηρέασε έμμεσα και την ανάπτυξη των σύγχρονων υπολογιστών, μέσα από έννοιες όπως η μαθηματική λογική, οι λογικές πύλες και η αρχιτεκτονική φον Νόιμαν.
Αν θέλεις να υποστηρίξεις την προσπάθεια μας και να βλέπεις καθημερινά νέα άρθρα με δωρεάν υλικό, μπορείς να το κάνεις με μια δωρεά στο Paypal
