Вы просите, чтобы я расшифровал, что обозначает
![$P(s)$ $P(s)$](https://dxdy-02.korotkov.co.uk/f/1/3/3/133bf4410d30ceb9008d37d7ba7b9d6582.png)
? Ну хорошо,
![$P(s)$ $P(s)$](https://dxdy-02.korotkov.co.uk/f/1/3/3/133bf4410d30ceb9008d37d7ba7b9d6582.png)
означает значение функции
![$P$ $P$](https://dxdy-02.korotkov.co.uk/f/d/f/5/df5a289587a2f0247a5b97c1e8ac58ca82.png)
(которую я перед этим аккуратно определил) при значении аргумента, равном
![$s$ $s$](https://dxdy-03.korotkov.co.uk/f/6/f/9/6f9bad7347b91ceebebd3ad7e6f6f2d182.png)
. Но это настолько азбука от математики, что если о ней заходит речь, это значит, что явно надо заниматься чем-то учебным, а не тем, чем сейчас Вы пытаетесь заниматься в Дискуссионном разделе.
Далее, какой
![$P_s$ $P_s$](https://dxdy-03.korotkov.co.uk/f/6/8/2/68210a732f3ff4b20c8f18f476a6da9d82.png)
? Откуда он вообще взялся? Что он обозначает?
manul91, Вы уж извините пожалуйста за прямоту и, может быть, не очень политкорректный тон, но выглядит так, что у Вас очень большие проблемы с математической строгостью.
Честно - это я вас прошу меня извинить - на самом деле.
Не думаю что у меня уж такие проблемы со строгостью, но занесло куда-то не туда...
Разумеется если все совсем акуратно расписать, то ничего не получится - из-за того, что "диагональный" индекс мощностью
![$\mathbb R \times \mathbb N$ $\mathbb R \times \mathbb N$](https://dxdy-02.korotkov.co.uk/f/d/b/3/db363f96a20e1f53fde531a701c0029e82.png)
нелзья брать как индекс последовательности, если не менять определение последовательности (а если изменить и брать "последовательности с вещественным индексом" индексированные опять "вещественным индексом" - то хотя и получится (вещественных функций больше чем континуум) - но уже будет совершенно не об этом).
Вот только понять бы, причем здесь оракулы... И вот такой вопрос меня давно терзает: если верить физикам что квантовая случайность истинно случайна (не псевдослучайна). То тогда машину тьюринга снабженной физическим генератором случайности (на основе квантах) - можно считать "оракулом" (нулевого типа - т.е. привязанного к конкретной невычислимой последовательности) и если нет - то почему? (МТ тут только для того, чтобы тупо запоминать любой конечный индекс о котором спросят - и только первый раз брала с генератору, а далее если спросят повторно про того же индекса - выдает из памяти то же самое, что выдала и первый раз). "Снаружи", вроде есть все что требуется - отвечает на запрос о значение последовательности при любом натуральном индексе, последовательность вроде невычислима...