Η Θεωρία Συνόλων ξεκίνησε από τις ιδέες του Καντόρ και εξελίχθηκε από αρκετούς μαθηματικούς. Μια βασική ιδέα που θεμελίωνε την θεωρία, ήταν πως κάθε προσδιορίσιμη συλλογή είναι ένα σύνολο. Κάθε σύνολο δηλαδή είναι μια ομάδα αντικειμένων που έχουν μια συγκεκριμένη ιδιότητα. Μια πρόταση που ακούγεται αρκετά προφανής.
Ο Ράσελ, μέσω ενός πολύ απλού και συνοπτικού παραδείγματος, ήρθε να αποδείξει πως αυτός ο ορισμός είναι εσφαλμένος. Θεώρησε R το σύνολο των συνόλων που δεν είναι στοιχεία του εαυτού τους. Τι ισχύει όμως για το ίδιο το R; Αν το R άνηκε στο σύνολο, τότε εξ ορισμού δεν θα ήταν στοιχείο του συνόλου. Αν δεν ήταν στοιχείο του συνόλου, τότε θα… ήταν στοιχείο του συνόλου. Με λίγα λόγια, ο Ράσελ δημιούργησε μια συνθήκη ανίκανη να περιγράψει το σύνολο που δημιουργούσε.
Bertrand Russell – Bρετανός φιλόσοφος και μαθηματικός.
Η ιδέα του Ράσελ γίνεται πιο κατανοητή μέσω του παρακάτω παραδείγματος:
«Σε μια πόλη ο κανονισμός λέει πως όλοι οι άνδρες πρέπει να είναι ξυρισμένοι. Σε αυτήν την πόλη υπάρχει μόνο ένας κουρέας, ο οποίος ξυρίζει μόνο αυτούς που δεν ξυρίζονται μόνοι τους. Ποιος ξυρίζει όμως τον κουρέα;»
Αναλύοντας το πρόβλημα μέσω της Θεωρίας Συνόλων, είναι κατανοητό πως στη χώρα υπάρχει το σύνολο εκείνων που ξυρίζονται μόνοι τους και το σύνολο εκείνων που ξυρίζονται στον κουρέα. Ο κουρέας δεν ξυρίζεται μόνος του αφού ξυρίζει όλους τους άντρες που δεν ξυρίζονται μόνοι τους. Αλλά ούτε κάποιος άλλος δεν μπορεί να τον ξυρίσει, αφού ο κουρέας ξυρίζει όσους δεν ξυρίζονται μόνοι τους. Μέσω της ίδιας σκέψης, το σύνολο όλων των συνόλων είναι αδύνατο να οριστεί.
Το παράδοξο του Ράσελ κατέρριψε την δομή της Θεωρίας Συνόλων, διαγράφοντας επίσης την όποια ελπίδα θεμελίωσης των μαθηματικών σε όρους λογικής. Λίγα χρόνια αργότερα, ήρθε ένα θεώρημα για να βάλουν τέλος στα όνειρα των μαθηματικών της λογικής, τραντάζοντας τον κόσμο της επιστήμης. Γνωστό ως το «πρώτο θεώρημα της μη-πληρότητας».
Κάθε επιστημονική θεωρία περιέχει ορισμένες αλήθειες οι οποίες δεν μπορούν να αποδειχτούν βάση της ίδιας της θεωρίας, ήταν το πρώτο αποδεδειγμένο θεώρημα του Γκέντελ που ουσιαστικά αποδεικνύει πως η ύπαρξη των αξιωμάτων είναι υποχρεωτική για την θεμελίωση των θεωριών. Αν το εξετάσουμε λίγο πιο… φιλοσοφικά, το θεώρημα αυτό βάζει ένα φράγμα στην λογική. Εξηγεί πως οποιαδήποτε μαθηματική ανακάλυψη στηρίζεται σε αναπόδεικτες αλήθειες.
Η μη-πληρότητα του Γκέντελ είναι ίσως το πιο «αντιεπιστημονικό» θεώρημα στην ιστορία της επιστήμης. Μια πρόταση που αποδεικνύει πως η ύπαρξη κάθε μαθηματικής θεωρίας βασίζεται στην ίδια την ανθρώπινη διαίσθηση.
Δείτε το σχετικό video
