Το «παράδοξο» είναι μια χρήσιμη πρόσκληση, αλλά μια ανακριβής διάγνωση. Μια φαινομενική αντίφαση μπορεί να εξαφανιστεί μόλις οριστεί μια αμφίσημη λέξη. Ένα αντισυμβατικό θεώρημα μπορεί να είναι απολύτως συνεπές. Μια πραγματική λογική αντινομία μπορεί αντίθετα να δείξει ότι μια συλλογή υποθέσεων δεν μπορεί να διατηρηθεί στο σύνολό της. Η διατήρηση αυτών των κατηγοριών χωριστά μάς βοηθά να εκτιμήσουμε τα εκπληκτικά μαθηματικά χωρίς να υπονοούμε ότι η συνηθισμένη αριθμητική έπαψε να ισχύει.
Μόντι Χολ: η διαδικασία του παρουσιαστή είναι το πρόβλημα
Υπάρχουν τρεις πόρτες· πίσω από τη μία κρύβεται ένα έπαθλο και πίσω από τις δύο άλλες από ένα κατσίκι. Εσείς επιλέγετε μία πόρτα. Ένας παρουσιαστής που γνωρίζει το περιεχόμενο όλων των πορτών ανοίγει πάντα μία από τις μη επιλεγμένες πόρτες με κατσίκι και σας προσφέρει πάντα τη δυνατότητα να αλλάξετε στην υπόλοιπη κλειστή πόρτα. Υποθέστε ότι το έπαθλο ήταν εξίσου πιθανό πίσω από κάθε πόρτα. Πρέπει να αλλάξετε επιλογή;
Ναι. Η αρχική σας επιλογή κερδίζει με πιθανότητα ένα προς τρία. Χάνει με πιθανότητα δύο προς τρία. Με βάση τη διατυπωμένη διαδικασία, η αλλαγή κερδίζει ακριβώς όταν η αρχική σας επιλογή ήταν λανθασμένη. Η ενέργεια του παρουσιαστή δεν μετατρέπει την αρχική σας επιλογή σε μια νέα επιλογή πενήντα πενήντα. Αντίθετα, η σκόπιμη αφαίρεση ενός κατσικιού μεταφέρει την αρχική πιθανότητα δύο προς τρία στη μία εναπομείνασα εναλλακτική.
Οι υποθέσεις παίζουν πραγματικό ρόλο. Αν ένας παρουσιαστής χωρίς πληροφορίες ανοίξει τυχαία μια μη επιλεγμένη πόρτα και τυχαίνει να αποκαλυφθεί κατσίκι, ο δεσμευμένος υπολογισμός αλλάζει. Αν ένας παρουσιαστής προσφέρει αλλαγή μόνο σε επιλεγμένες περιπτώσεις, και η πολιτική του έχει σημασία. Η γνωστή απάντηση των δύο τρίτων αφορά ένα συγκεκριμένο πείραμα, όχι κάθε ιστορία με τρεις πόρτες. Το πρόβλημα συνδέεται με τον τηλεοπτικό παρουσιαστή Μόντι Χολ και έγινε ευρέως γνωστό αφότου η Μαριλίν βος Σαβάντ το θέτει δημόσια στο περιοδικό της.
Ένα νόμισμα-παζλ για την ενημερωμένη πεποίθηση
Ένας σάκος περιέχει ένα αμερόληπτο νόμισμα και ένα νόμισμα με κορώνα και στις δύο όψεις. Επιλέγετε ένα νόμισμα τυχαία, με ίση πιθανότητα για καθένα, και το ρίχνετε μία φορά. Το αποτέλεσμα είναι κορώνα. Ποια είναι η πιθανότητα να επιλέξατε το νόμισμα με δύο κορώνες; Υποθέστε ότι κάθε φυσική όψη του αμερόληπτου νομίσματος έχει ίση πιθανότητα να βρεθεί προς τα πάνω.
Δύο νομίσματα δεν σημαίνουν πενήντα πενήντα
Υπόδειξη: συγκρίνετε τις πιθανοφάνειες
Η παρατηρούμενη κορώνα είναι βέβαιη με το ένα νόμισμα, αλλά συμβαίνει μόνο στο μισό των περιπτώσεων με το άλλο.
Εμφάνιση του υπολογισμού
Η κοινή πιθανότητα να επιλέξετε το νόμισμα με δύο κορώνες και να δείτε κορώνα είναι 1/2. Η συνολική πιθανότητα κορώνας είναι (1/2 × 1) + (1/2 × 1/2) = 3/4. Διαιρώντας το 1/2 με το 3/4 προκύπτει 2/3.
Αυτό είναι ένα σύντομο παράδειγμα της bayesian δέσμευσης, που πήρε το όνομά της από τον Τόμας Μπέιζ. Τα νέα στοιχεία μεταβάλλουν τη σχετική εύλογη πιθανότητα των δύο πιθανών πηγών. Η απάντηση δεν σημαίνει ότι το επιλεγμένο νόμισμα άλλαξε φυσικά. Περιγράφει τι μπορεί να συναχθεί μετά την παρατήρηση ενός αποτελέσματος, με βάση μια ρητά καθορισμένη διαδικασία δειγματοληψίας.
Το ξενοδοχείο του Χίλμπερτ: γεμάτο δεν σημαίνει πάντα πεπερασμένα γεμάτο
Φανταστείτε ένα ξενοδοχείο με ένα δωμάτιο για κάθε θετικό ακέραιο, όλα κατειλημμένα. Φτάνει ένας νέος επισκέπτης. Η διευθύντρια ζητά από τον επισκέπτη στο δωμάτιο n να μετακινηθεί στο δωμάτιο n + 1. Κάθε υπάρχων επισκέπτης έχει πλέον νέο δωμάτιο, και το δωμάτιο 1 μένει ελεύθερο. Κάτι παρόμοιο δεν μπορεί να γίνει σε πεπερασμένο ξενοδοχείο με όλα τα δωμάτια κατειλημμένα.
Τώρα υποθέστε ότι φτάνουν αριθμήσιμα άπειρα νέοι επισκέπτες, αριθμημένοι 1, 2, 3 και ούτω καθεξής. Μετακινήστε κάθε υπάρχοντα επισκέπτη από το δωμάτιο n στο δωμάτιο 2n. Τα δωμάτια με άρτιους αριθμούς φιλοξενούν τους παλιούς επισκέπτες, ενώ τα δωμάτια με περιττούς αριθμούς τους νέους. Πρόκειται για μια αμφιμονοσήμαντη αντιστοίχιση, όχι για σχέδιο φυσικής κατασκευής. Δείχνει πώς ένα αριθμήσιμα άπειρο σύνολο μπορεί να έχει την ίδια πληθικότητα με ένα από τα γνήσια υποσύνολά του.
Το πείραμα σκέψης συνδέεται με τον Ντέιβιντ Χίλμπερτ και στηρίζεται σε ιδέες που ανέπτυξε ο Γκέοργκ Κάντορ στη μελέτη του για τα άπειρα σύνολα. Δεν δείχνει ότι κάθε άπειρο έχει το ίδιο μέγεθος. Το διαγώνιο επιχείρημα του Κάντορ αποδεικνύει ότι οι πραγματικοί αριθμοί δεν μπορούν να απαριθμηθούν με τον ίδιο τρόπο όπως οι θετικοί ακέραιοι. Η εικόνα ενός ατελείωτου διαδρόμου είναι βοήθημα για τη σκέψη, όχι υποκατάστατο του καθορισμού της αντιστοιχίας.
Το παράδοξο του Σίμπσον: οι μέσοι όροι κρύβουν κρυφά βάρη
Μια τάση μπορεί να ισχύει χωριστά σε δύο ομάδες και να αντιστρέφεται όταν οι ομάδες συνδυαστούν. Θεωρήστε δύο υποθετικές θεραπείες. Σε μια ευκολότερη ομάδα, η A πετυχαίνει σε 9 από 10 περιπτώσεις και η B σε 80 από 100. Σε μια δυσκολότερη ομάδα, η A πετυχαίνει σε 20 από 100 περιπτώσεις και η B σε 1 από 10. Η A έχει υψηλότερο ποσοστό επιτυχίας σε κάθε ομάδα: 90% έναντι 80%, και 20% έναντι 10%.
Συνολικά, η A πετυχαίνει σε 29 από 110 περιπτώσεις, ενώ η B σε 81 από 110. Η αντιστροφή είναι δυνατή επειδή η A χρησιμοποιήθηκε κυρίως στη δυσκολότερη ομάδα και η B κυρίως στην ευκολότερη. Οι συγκεντρωτικοί μέσοι όροι χρησιμοποιούν διαφορετικά βάρη. Οι αριθμοί αυτοί είναι επινοημένοι και απλώς εικονογραφούν τον υπολογισμό· δεν αποτελούν κλινικά δεδομένα ούτε σύσταση για θεραπεία.
Το παράδοξο συνδέεται με τον στατιστικό Έντουαρντ Χ. Σίμπσον και προειδοποιεί ότι δεν πρέπει να αποφασίζουμε ποια συγκεντρωτική σύγκριση έχει σημασία χωρίς να θέσουμε ένα αιτιολογικό ερώτημα. Περισσότερα δεδομένα δεν εξαλείφουν αυτόματα τα φαινόμενα επιλογής. Η σχετική ομαδοποίηση εξαρτάται από το πώς δημιουργήθηκαν τα δεδομένα και από το τι προσπαθείτε να εκτιμήσετε.
Μια καλύτερη απάντηση σε ένα παράδοξο
Όταν ένα αποτέλεσμα φαίνεται αδύνατο, καταγράψτε τις υποθέσεις πριν απορρίψετε το συμπέρασμα. Τι επιλέχθηκε τυχαία; Τι πληροφορίες είχε ένας παρατηρητής; Συγκρίνετε ομάδες με ισοδύναμα βάρη; Σημαίνει το «άπειρο» αριθμήσιμα άπειρο; Όταν αυτά τα ερωτήματα γίνουν ορατά, το εκπληκτικό αποτέλεσμα συχνά μετατρέπεται σε ένα ακριβές μάθημα για τα όρια μιας χρήσιμης διαίσθησης.