Το 1901 ο Bertrand Russell, μελετώντας την απόδειξη του Cantor ότι δεν υπάρχει μεγαλύτερος πληθάριθμος, ανακάλυψε μια αντίφαση στην αφελή θεωρία συνόλων.
Η θεωρία στηριζόταν στην αρχή ότι για κάθε ιδιότητα υπάρχει το αντίστοιχο σύνολο. Αυτή ακριβώς η αρχή οδήγησε στο παράδοξο.
Τον Ιούνιο του 1902 ο Russell ενημέρωσε τον Gottlob Frege. Ο δεύτερος τόμος των Grundgesetze der Arithmetik ήταν ήδη στο τυπογραφείο. Το παράδοξο κατέστρεφε τα θεμέλια του έργου ζωής του Frege.
🪄 Το Παράδοξο
1. Ένα σύνολο είναι κανονικό αν δεν περιέχει τον εαυτό του.
2. Ένα σύνολο είναι μη-κανονικό αν περιέχει τον εαυτό του.
3. Ορίζουμε το σύνολο όλων των κανονικών συνόλων:
4. Η αντίφαση:
- Αν \( R \in R \), τότε \( R \notin R \).
- Αν \( R \notin R \), τότε \( R \in R \).
✂️ Η Παραλλαγή του Κουρέα
Ένας κουρέας ξυρίζει όλους όσους δεν ξυρίζονται μόνοι τους, και μόνο αυτούς. Ποιος ξυρίζει τον κουρέα;
- Αν ξυρίζεται μόνος του → δεν έπρεπε.
- Αν δεν ξυρίζεται μόνος του → έπρεπε.
Ο Russell σημείωσε ότι η παραλλαγή αυτή δεν είναι πλήρως ισοδύναμη: προϋποθέτει την ύπαρξη του κουρέα, ενώ η αντίφαση δείχνει απλώς ότι τέτοιος κουρέας δεν μπορεί να υπάρχει. Το μαθηματικό παράδοξο είναι βαθύτερο.
📜 Η Λύση
Το παράδοξο είχε εντοπιστεί ανεξάρτητα και από τον Ernst Zermelo λίγο νωρίτερα, χωρίς να δημοσιευτεί.
Οι δύο κύριες απαντήσεις:
- Θεωρία τύπων του Russell (στα Principia Mathematica): απαγορεύει σε σύνολο να ανήκει στον εαυτό του μέσω ιεραρχίας.
- Αξιώματα Zermelo–Fraenkel (ZF): το αξίωμα του διαχωρισμού επιτρέπει μόνο τον σχηματισμό υποσυνόλων ήδη υπαρχόντων συνόλων. Το \( R \) απλώς δεν υπάρχει.
Η σύγχρονη μαθηματική πρακτική βασίζεται στο ZFC.
🧠 Το Μάθημα
Το παράδοξο δεν κατέστρεψε τα μαθηματικά. Τα ανάγκασε να γίνουν αυστηρότερα.
Έδειξε ότι η διαίσθηση «για κάθε ιδιότητα υπάρχει σύνολο» είναι επικίνδυνη. Η μαθηματική ύπαρξη χρειάζεται κανόνες.
«Από τον παράδεισο που δημιούργησε για μας ο Cantor, κανείς δεν πρέπει να μπορεί να μας διώξει.»
— David Hilbert, 1925
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου