Το Παράδοξο του Russell: Η απλή ερώτηση που συγκλόνισε τη Θεωρία Συνόλων

Στις αρχές του 20ού αιώνα, ο Bertrand Russell ανακάλυψε ένα παράδοξο που αποκάλυψε ένα σοβαρό πρόβλημα στα θεμέλια της τότε Θεωρίας Συνόλων.

Η ιδέα του φαίνεται σχεδόν αθώα.

Ας θεωρήσουμε το σύνολο \(R\) όλων των συνόλων που δεν είναι στοιχεία του εαυτού τους:

\[ R=\{x\mid x\text{ είναι σύνολο και }x\notin x\}. \]

Και τώρα ας κάνουμε μία μόνο ερώτηση:

❓ Είναι το \(R\) στοιχείο του εαυτού του;

🔄 Αν υποθέσουμε ότι \(R\in R\)

Από τον ίδιο τον ορισμό του \(R\), τα στοιχεία του είναι ακριβώς τα σύνολα που δεν ανήκουν στον εαυτό τους.

Άρα, αν

\[ R\in R, \]

τότε αναγκαστικά πρέπει να ισχύει

\[ R\notin R. \]

Αντίφαση.

🔄 Αν υποθέσουμε ότι \(R\notin R\)

Τότε το \(R\) είναι ένα σύνολο που δεν περιέχει τον εαυτό του. Αυτό όμως είναι ακριβώς το χαρακτηριστικό που απαιτείται για να ανήκει κάποιος στο \(R\).

Άρα:

\[ R\notin R \quad\Longrightarrow\quad R\in R. \]

Πάλι αντίφαση.

⚡ Το παράδοξο

\[ R\in R\Longrightarrow R\notin R \]

\[ R\notin R\Longrightarrow R\in R. \]

🏛️ Γιατί ήταν τόσο σημαντικό;

Το πρόβλημα δεν ήταν ένα απλό λογικό παιχνίδι. Έδειχνε ότι η ιδέα πως οποιαδήποτε ιδιότητα μπορεί να ορίζει ελεύθερα ένα σύνολο οδηγεί σε αντιφάσεις.

Το παράδοξο του Russell έγινε έτσι ένα από τα γεγονότα που οδήγησαν τους μαθηματικούς σε αυστηρότερες αξιωματικές θεμελιώσεις της Θεωρίας Συνόλων, όπου δεν επιτρέπεται να σχηματίζουμε αυθαίρετα «το σύνολο όλων των αντικειμένων που έχουν μια δεδομένη ιδιότητα».

💈 Η ιστορία του κουρέα

Το παράδοξο συχνά εξηγείται με μια διάσημη αναλογία:

Σε ένα χωριό υπάρχει ένας κουρέας που ξυρίζει όλους και μόνο εκείνους τους άνδρες που δεν ξυρίζουν τον εαυτό τους.

Ποιος ξυρίζει τον κουρέα;

Αν ξυρίζει τον εαυτό του, τότε σύμφωνα με τον κανόνα δεν πρέπει να τον ξυρίζει. Αν δεν ξυρίζει τον εαυτό του, τότε σύμφωνα με τον ίδιο κανόνα πρέπει να τον ξυρίζει.

Το συμπέρασμα δεν είναι ότι υπάρχει κάποιος μυστηριώδης κουρέας που παραβιάζει τη λογική. Είναι ότι ένας κουρέας με αυτή ακριβώς την ιδιότητα δεν μπορεί να υπάρχει.

Με παρόμοιο τρόπο, το παράδοξο του Russell αποκαλύπτει το πρόβλημα στην ανεξέλεγκτη δημιουργία συνόλων.

💡 Η μεγάλη ιδέα

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

Και όλα ξεκίνησαν από μία ερώτηση:

\[ \boxed{R\in R\;?} \]

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →