δανειζομαι το τοπικ για να παραθεσω μερικα μαθηματικα παραδοξα... :
Το παράδοξο του ΡάσελΤο σύνολο όλων των συνόλων που δεν περιλαμβάνουν τον εαυτό τους, έχει τον εαυτό του σαν στοιχείο;
Αν δεχθούμε τον ορισμό του Κάντορ για το σύνολο, ότι δηλαδή σύνολο είναι, δεδομένης μίας ιδιότητας, συλλογή αντικειμένων που έχουν μία ιδιότητα, τότε:
α) Στοιχεία ενός συνόλου, μπορεί να είναι σύνολα (το σύνολο των συνόλων με πληθάριθμο 1)
β) Ένα σύνολο, μπορεί να ανήκει στον εαυτό του (πχ το σύνολο όλων των συνόλων)
Θεωρούμε λοιπόν το σύνολο Α όλων των συνόλων που δεν ανήκουν στον εαυτό τους.
Έστω Α ανήκει στο Α. Τότε το Α δεν ανήκει στο Α αφού Α = το σύνολο Α όλων των συνόλων που δεν ανήκουν στον εαυτό τους.
Έστω Α δεν ανήκει στο Α. Τότε το Α ανήκει στο Α, αφού Α= το σύνολο Α όλων των συνόλων που δεν ανήκουν στον εαυτό τους
φτάνουμε δηλαδή σε ένα παράδοξο, μία πρόταση που δεν μπορεί να είναι αληθής ούτε ψευδής την ίδια στιγμή.
Σε πιο εκλαικευμενη μορφη :
Ας υποθέσουμε πως υπάρχει μια χώρα όπου όλοι οι άντρες είναι καθημερινά ξυρισμένοι. Σε αυτή την χώρα, υπάρχει μόνο ένας κουρέας. Αυτός ξυρίζει όλους τους άντρες που δεν ξυρίζονται μόνοι τους. Ο κουρέας όμως ξυρίζει τον εαυτό του?
* Αν υποθέσουμε πως ο κουρέας δε ξυρίζει τον εαυτό του, τότε θα πρέπει να υπακούσει στον κανόνα και να ξυρίσει τον εαυτό του.
* Εάν πάλι υποθέσουμε ότι ο κουρέας όντως ξυρίζει τον εαυτό του, τότε σύμφωνα με τον κανόνα δε μπορεί να ξυρίσει τον εαυτό του.
Το θεωρημα της μη πληροτητας του Γκεντελ"ετουτη η προταση ειναι
μη αποδειξιμη"
Κάθε συνεπής αξιωματική θεωρία μέσα στην οποία μπορεί κανείς να δημιουργήσει μια τέτοια πρόταση είναι από τη φύση της ή ασυνεπής (συνέπεια: η ιδιοτητα των αξιωματων να μην αντιφασκουν με αλλα αξιωματα) ή μη πλήρης (πληροτητα: επαρκεια των αξιωματων για να αποδειξουν οτι ολες οι προτασεις του συστηματος ειναι αληθεις η μη αληθεις), αφου η προταση αυτη ειναι ειτε ψευδης, οποτε ειναι και ψευδης και αποδειξιμη - αφου ειναι ψευδες οτι ειναι μη αποδειξιμη- καταρριπτοντας τη συνεπεια του αξιωματικου συστηματος, ειτε αληθινη, οποτε ειναι και αληθης και μη αποδειξιμη, αποδεικνυοντας τη μη πληροτητα του συστηματος.
εμπνευση: Logicomix
και λιγο ψαξιμο....
http://www.methexi.gr/thewrima%20mi%20plirotitas.htm