Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга

Претензии по сути:

1) вступление; я его не очень поняла; что значит, что "программы получают доступ к генератору случайных чисел" и зачем это надо?

2) Первая теорема. Ее формулировка лично не мне очень понятна. Должно быть что-то вроде "Для любых х и А R будет измеримо", так? А двоеточие читается как "таких, что".

3) Доказательство этой теоремы. Почему [math]R_i[/math] дизъюнктны?

По оформлению: вот опять же лично мне не нравится такой псевдокод, как-то непривычно после if видеть двоеточие.

Сейчас в первой теореме имеются более существенные проблемы, связанные с некорректным введением [math]\Sigma[/math].--Игорь Бужинский 21:41, 1 июня 2012 (GST)

1) Фразу следует понимать буквально. Это нужно, чтобы сформулировать введение, не прибегая к пока не введенным терминам. Можно перефразировать.

2, 3) Формулировку и доказательство поправил. Я добавил еще одно предложение про [math]\Sigma[/math] перед теоремой, правда, у меня нет источника, подтверждающего правильность сделанного. Без этого предложения было бы необоснованным говорить, что что-то нетривиальное вообще принадлежит [math]\Sigma[/math].--Игорь Бужинский 18:39, 2 июня 2012 (GST)