A „paradoxon” hasznos felkérés, de pontatlan diagnózis. A látszólagos ellentmondás eltűnhet, ha egy többértelmű szót pontosan definiálunk. Egy ellenintuitív tétel teljesen következetes lehet. Egy valódi logikai antinómia viszont azt mutathatja meg, hogy a feltevések egy része nem tartható meg egyszerre. Ha ezeket a kategóriákat szét tudjuk választani, jobban értékelhetjük a meglepő matematikát anélkül, hogy azt sugallnánk: a hétköznapi számolás már nem működik.
Monty Hall: a műsorvezető eljárása adja a rejtvényt
Három ajtó van, az egyik mögött nyeremény, a másik kettő mögött kecske rejtőzik. Te kiválasztasz egy ajtót. A műsorvezető, aki ismeri az összes tartalmat, mindig kinyit egy kecskét rejtő, nem választott ajtót, és mindig felajánlja, hogy átválthatsz a megmaradt zárt ajtóra. Tegyük fel, hogy a nyeremény minden ajtó mögött egyenlő valószínűséggel lehet. Érdemes váltani?
Igen. Az első választásod ⅓ valószínűséggel nyer. ⅔ valószínűséggel veszít. A megadott eljárás szerint a váltás pontosan akkor nyer, ha az eredeti választásod rossz volt. A műsorvezető cselekvése nem alakítja az eredeti választásodat új, ötven-ötven százalékos döntéssé. Ehelyett a kecske informált eltávolítása a kezdeti kétharmados esélyt a megmaradt egyetlen alternatívára koncentrálja.
A feltevések valódi szerepet játszanak. Ha egy tájékozatlan műsorvezető véletlenszerűen nyit ki egy nem választott ajtót, és éppen kecskét mutat, a feltételes számítás megváltozik. Ha a műsorvezető csak bizonyos helyzetekben ajánl váltást, a szabálya is számít. A jól ismert kétharmados válasz egy meghatározott kísérletre vonatkozik, nem minden olyan történetre, amelyben három ajtó szerepel. A feladat Monty Hall tévéműsor-vezetőhöz kötődik, és széles körben vitatták meg, miután Marilyn vos Savant nyomtatásban foglalkozott vele.
Egy érmés rejtvény a frissített hitről
Egy zacskóban van egy szabályos érme és egy olyan érme, amelynek mindkét oldalán fej van. Véletlenszerűen, egyenlő eséllyel választasz egy érmét, és egyszer feldobod. Fejet kapsz. Mekkora a valószínűsége, hogy a kétfejű érmét választottad? Tegyük fel, hogy a szabályos érme mindkét oldala egyenlő valószínűséggel kerülhet felülre.
Két érme nem jelent ötven-ötven százalékot
Tipp: hasonlítsd össze a valószínűségeket
Az a fej, amit láttál, az egyik érmével biztos, a másikkal viszont csak az esetek felében fordul elő.
A számítás megjelenítése
A kétfejű érme kiválasztásának és a fej megjelenésének együttes valószínűsége 1/2. A fej összes valószínűsége (1/2 × 1) + (1/2 × 1/2) = 3/4. Az 1/2 osztva 3/4-del 2/3.
Ez a Bayes-féle feltételes valószínűség tömör példája, amelyet Thomas Bayesről neveztek el. Az új bizonyíték megváltoztatja a két lehetséges forrás relatív valószínűségét. A válasz nem azt állítja, hogy a kiválasztott érme fizikailag megváltozott. Azt írja le, mit lehet következtetni egy eredmény megfigyelése után, egy kifejezetten megadott mintavételi folyamat mellett.
Hilbert-hotel: a tele nem mindig véges értelemben tele
Képzelj el egy szállodát, amelynek minden pozitív egész számnak megfelel egy szoba, és mind foglalt. Érkezik egy új vendég. A portás megkéri az n-es szobában lakót, hogy költözzön az n + 1-es szobába. Minden régi vendégnek új szoba jut, és az 1-es szoba felszabadul. Véges szálloda esetén, ahol minden szoba foglalt, ehhez hasonló nem működik.
Most tegyük fel, hogy megszámlálhatóan végtelen sok új vendég érkezik, az 1, 2, 3 és így tovább sorszámmal. Minden régi vendéget költöztess az n-es szobából a 2n-es szobába. A páros számú szobákban a régi vendégek lesznek, a páratlanokban az újak. Ez egy kölcsönösen egyértelmű hozzárendelés, nem fizikai építési terv. Azt mutatja meg, hogy egy megszámlálhatóan végtelen halmaznak lehet ugyanannyi eleme, mint egy valódi részhalmazának.
A gondolatkísérlet David Hilberthez kötődik, és Georg Cantor végtelen halmazokról szóló vizsgálatainak gondolataira épül. Nem mutatja meg, hogy minden végtelen ugyanakkora. Cantor átlós érvelése azt bizonyítja, hogy a valós számokat nem lehet ugyanúgy felsorolni, mint a pozitív egészeket. A végtelen folyosóról alkotott kép segíti a gondolkodást, de nem helyettesíti a megfeleltetés pontos megadását.
Simpson-paradoxon: az átlagokban rejtett súlyok vannak
Egy tendencia két csoporton belül külön-külön fennállhat, és a csoportok összevonásakor megfordulhat. Vegyünk két kitalált kezelést. Egy könnyebb csoportban az A 10 esetből 9-ben, a B 100-ból 80-ban volt sikeres. Egy nehezebb csoportban az A 100 esetből 20-ban, a B 10-ből 1-ben volt sikeres. Mindkét csoportban az A sikerességi aránya magasabb: 90% a 80%-kal szemben, illetve 20% a 10%-kal szemben.
Összesítve az A 110 esetből 29-ben volt sikeres, a B pedig 110 esetből 81-ben. Az irány megfordulása azért lehetséges, mert az A főként a nehezebb csoportban, a B pedig főként a könnyebb csoportban szerepelt. Az összesített átlagok különböző súlyokkal számolnak. Ezek a kitalált számok az aritmetikát szemléltetik; nem klinikai bizonyítékok, és nem ajánlás a kezelésre vonatkozóan.
Edward H. Simpson statisztikushoz kötődő paradoxon arra figyelmeztet, hogy ne döntsünk úgy, melyik összesített összehasonlítás a fontos, anélkül hogy ok-okozati kérdést tennénk fel. Több adat nem törli automatikusan a kiválasztási torzításokat. A releváns csoportosítás attól függ, hogyan keletkeztek az adatok, és mit szeretnél becsülni.
Jobb válasz egy paradoxonra
Ha egy eredmény lehetetlennek tűnik, sorold fel a feltevéseket, mielőtt elveted a következtetést. Mit választottak véletlenszerűen? Milyen információ volt meg a megfigyelőnek? Egyenlő súlyú csoportokat hasonlítasz össze? A „végtelen” megszámlálhatóan végtelent jelent? Ha ezek a kérdések láthatóvá válnak, a meglepő eredmény gyakran egy hasznos intuíció határairól szóló pontos tanulsággá válik.