beskonechnye igry
I ne nadejtes', nichego interesnogo! Snova o matematike.
Kljuchevye slova:
igra s polnoj informaciej, aksioma vybora, aksioma determinirovannosti, separabel'nost' vremeni, proektivnye mnozhestva.

Est' dve aksiomy, obe intuitivno vernye, no protivorechat drug drugu: aksioma vybora (AC) i aksioma determinirovannosti (AD). Razdolje dlja filosofov - no bol'shoe neudobstvo dlja matematikov:) Poprobuju rasskazat', kak matematiki s etim poborolis'.
AC: proizvedenie nepustyx mnozhestv samo nepusto.
Vrode bezobidnaja formulirovka. Do Cermelo matematiki i ne zamechali, chto postojanno ispol'zujut etu aksiomu. No v nachale XX veka ee zametili, i nauchilis' izvlekat' netrivial'nye sledstvija. Bol'shinstvo sledstvij ochen' poleznye (naprimer, chto ljubye dva mnozhestva mozhno sravnit' po moshhnosti), no inye takovy, chto volosy dybom. No v celom - nikakix osnovanij ot nee otkazyvat'sa ili kak-to ee ogranichivat'.
AD: v ljubuju determinirovannuju igru s polnoj informaciej mozhno igrat' bezoshibochno.
Tut nado objasnit' podrobnee. Sdelaju eto potom, a sejchas pora idti na party:)