Jeśli jednak przyjmiemy, że hipergra jest grą normalną, okazuje się, że można wskazać nieskończoną sekwencję ruchów w hipergrze, czyli da się udowodnić, że hipergra nie jest grą normalną. Ta sekwencja ma następującą postać: w pierwszym ruchu hipergry pierwszy gracz jako grę normalną obiera hipergrę (ma do tego prawo, ponieważ hipergra jest jedną z gier normalnych), następnie drugi gracz także wybiera hipergrę, pierwszy z graczy znowu wybiera hipergrę i tak dalej w nieskończoność.
Najpierw wykazaliśmy więc, że hipergra jest grą normalną, a następnie na tej podstawie udowodniliśmy, że hipergra nie jest grą normalną, co jest oczywiście niedorzecznością (jest to sprzeczność).
Paradoks hipergry wymyślił matematyk William Zwicker.
Zobacz też Antynomia Russella
Przypisy
Bibliografia
hipergry Kategoria:Teoria gier