Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга
Версия от 20:41, 1 июня 2012; Igor buzhinsky (обсуждение | вклад)
Претензии по сути:
1) вступление; я его не очень поняла; что значит, что "программы получают доступ к генератору случайных чисел" и зачем это надо?
2) Первая теорема. Ее формулировка лично не мне очень понятна. Должно быть что-то вроде "Для любых х и А R будет измеримо", так? А двоеточие читается как "таких, что".
3) Доказательство этой теоремы. Почему дизъюнктны?
По оформлению: вот опять же лично мне не нравится такой псевдокод, как-то непривычно после if видеть двоеточие.
Сейчас в первой теореме имеются более существенные проблемы, связанные с некорректным введением .--Игорь Бужинский 21:41, 1 июня 2012 (GST)
