Καλώς ήρθατε! Μην περιμένετε να βρείτε φυλλάδια με ασκήσεις μαθηματικών εδώ... Σκοπός του blog "εις το άπειρον" είναι να προσεγγίσει τη μαθηματική γνώση ελεύθερα και με διασκεδαστικό τρόπο, χωρίς τα όρια των σχολικών τάξεων.
4 κείμενα φιλοσοφίας μαθηματικών
Μια συλλογή κειμένων που προέκυψε ως ανάγκη για την ανάδειξη θεμελιωδών εννοιολογικών συνιστωσών της φιλοσοφίας των μαθηματικών. Οι συγγραφείς θεώρησαν ότι για κάτι τέτοιο θα έπρεπε να καλυφθούν οι περιοχές των αξιωμάτων, των παραδόξων, των υποθέσεων και των εικασιών.
O Επιμενίδης από την Κρήτη (6ος αιώνας π.Χ.) ήταν θρησκευτικός διδάσκαλος, προφήτης και μάντης και είναι περισσότερο γνωστός για ένα λογικό παράδοξο που έχει συνδεθεί με το όνομά του. Η λέξη "παράδοξο" (παρά την δόξα) σημαίνει ό,τι είναι αντίθετο με την κοινή λογική, την καθιερωμένη άποψη και τη λογική συνέπεια. Ο Επιμενίδης, λοιπόν, έγραψε κάποτε:
"Οι Κρητικοί λένε πάντα ψέματα".
Αν σκεφτείτε καλά την παραπάνω πρόταση, θα δείτε ότι οδηγεί σε φαύλο κύκλο. Αν οι Κρητικοί λένε πάντα ψέματα, τότε και ο Επιμενίδης, ως Κρητικός λέει ψέματα. Άρα δεν αληθεύει η παραπάνω πρόταση, δηλαδή οι Κρητικοί δεν λένε πάντα ψέματα. Τότε όμως και ο Επιμενίδης δεν ψεύδεται κ.ο.κ.
Κάποιοι βέβαια θα σκεφτούν ότι το παράδοξο αυτό επιλύεται πολύ εύκολα, αφού στην προηγούμενη πρόταση κάνουμε μια εσφαλμένη γενίκευση. Στη ζωή του ένας άνθρωπος λέει και ψέματα και αλήθειες. Ποτέ όμως ταυτόχρονα. Δεν είναι δυνατόν όλοι οι Κρητικοί να λένε ψέματα και μάλιστα ταυτόχρονα...
Τα πράγματα, όμως, δεν είναι τόσο απλά, αφού δεν είναι αυτή η ουσία του παραδόξου. Ας ξεχάσουμε τους Κρητικούς και ας δούμε μια πρόταση, όπως οι κλασικές προτάσεις στα Μαθηματικά, που τις χειριζόμαστε με τη δίτιμη λογική των Μαθηματικών (και της Πληροφορικής), αληθής ή ψευδής:
"Αυτή η πρόταση είναι ψευδής".
Έστω ότι η παραπάνω πρόταση είναι αληθής. Τότε, σύμφωνα με αυτήν, είναι ψευδής.
Έστω ότι η παραπάνω πρόταση είναι ψευδής. Τότε, αφού δεν ισχύει αυτό που λέει, δηλαδή δεν είναι ψευδής, η πρόταση αυτή είναι αληθής. Τελικά τι είναι;
Η πρόταση αυτή είναι ταυτόχρονα αληθής και ψευδής. Το παράδοξο του Επιμενίδη ανήκει σε μια γενικότερη κατηγορία παραδόξων, τα λεγόμενα "παράδοξα του ψεύτη". Οι φιλόσοφοι χρησιμοποίησαν κατά καιρούς τα παράδοξα για να αντικρούσουν την πλάνη των αισθήσεων. Αντιθέτως, οι μαθηματικοί μάλλον τα αντιμετώπιζαν με τρόμο. Ήταν κάτι σαν το κουτί της Πανδώρας, που αν το ανοίξεις μπορεί να καταστραφεί όλο το μαθηματικό οικοδόμημα σε μια στιγμή! Τουλάχιστον αυτό ίσχυε μέχρι τα μέσα του 19ου αιώνα, οπότε και τα παράδοξα άρχισαν να αντιμετωπίζονται με τρόπο περισσότερο εποικοδομητικό.
Στο επεισόδιο "I, Mudd" του Star Trek - The Original Series (Season 2) γίνεται μια πετυχημένη αναφορά στο παράδοξο του ψεύτη. To πλήρωμα του Εντερπράιζ απάγεται και κρατείται σε έναν πλανήτη έξυπνων ανδροειδών. Με το τέχνασμα μιας έκρηξης, ο Κερκ και ο απατεώνας Χάρι Μαντ μπερδεύουν τον Νόρμαν, τον ηγέτη των ανδροειδών, χρησιμοποιώντας το παράδοξο του ψεύτη:
ΝΟΡΜΑΝ: Μα δεν υπήρξε έκρηξη...
ΜΑΝΤ: Είπα ψέματα.
ΝΟΡΜΑΝ: Τι;
ΚΕΡΚ: Είπε ψέματα. Όλα όσα σου λέει ο Χάρι είναι ψέματα. Να ξέρεις ότι όλα όσα σου λέει ο Χάρι είναι ένα ψέμα.
ΜΑΝΤ: Άκου με προσεκτικά, Νόρμαν. Σου λέω ψέματα.
ΝΟΡΜΑΝ: Λες ότι είσαι ψεύτης, αλλά αν ό,τι λες είναι ψέμα, τότε λες την αλήθεια, αλλά δεν μπορείς να πεις την αλήθεια, επειδή ό,τι λες είναι ψέματα. Λες ψέματα... Λες την αλήθεια... Αλλά δεν μπορείς να... Παράλογο! Παράλογο! Παρακαλώ εξηγήστε... Μόνο οι άνθρωποι μπορούν να το εξηγήσουν...
Επειδή ο Νόρμαν δεν μπορεί να επιλύσει το παράδοξο, το κεφάλι του αρχίζει να βγάζει καπνούς, ώσπου "μένει στον τόπο", αφήνοντας το πλήρωμα του Εντερπράιζ να δραπετεύσει.
Τέλος, ένας γρίφος λογικής που σχετίζεται με το σημερινό θέμα:
Ένας βασιλιάς, που είχε βαρεθεί το γελωτοποιό του και έψαχνε αφορμή να τον ξεφορτωθεί, τον κάλεσε και του είπε: "Πες κάτι, ό,τι θέλεις. Αν αυτό που θα πεις είναι ψέμα, θα σε κρεμάσω. Αν αυτό που θα πεις είναι αλήθεια, θα σε σφάξω". Ο γελωτοποιός στάθηκε για λίγο σκεπτικός και έπειτα είπε κάτι στον βασιλιά. Και έζησε!
Τι του είπε;;;
*~*-.-*~*-.-*~*
