[promity]

Варианты:
а) Термин "корректор" не прописывается и не проговаривается не потому, что "это имя упоминать нельзя" или по причине коварных умолчаний, а в связи с удобоваримостью использования упрощённой связки "Глобальный Предиктор".
б) Применительно к глобальной библейской автократии термин не применим в силу того, что коррекцией, как таковой, вряд ли можно назвать безчисленные кровавые войны и геноцид тех или иных неугодных народов - в отношении сегодняшнего облика глобальной власти употребление термина "корректор" выглядело бы слишком цинично.

[садовник]

Джози, видимо у Вас ожидание, что на Вас набросятся некие эфемерные "кобяки" ("...что нарвусь здесь на ответы типа "сам дурак"). Укажите, хоть один такой ответ? Другой вопрос в связи с чем у Вас данное ожидание, уж не специально ли Вы делаете, раз ждёте когда ж на Вас обрушатся обзывки. Это раз.

Второе.
"Чуть помедленнее кони, чуть помедленнее."
"...В математике можно строго показать, что вот это делает предиктор, вот это делает корректор." Будьте столь любезны строго покажите математически, что делает предиктор, что корректор.
Итак.
Ф. предиктора (куча переменных) на выходе воздействие.
Ф. корректора это чё? (Ф корректора (куча переменных обратных связей) на выходе указание предиктору на вектор ошибки что ли? токмо в этом случае функция предиктора объемлет функцию корректора, то бишь ф.корректора входит под скобочку ф.предиктора, то бишь ф.предиктора (ф.корректора + куча переменных), в этом случае выделение ф.корректора из под ф.предиктора возможно для целей решения каких-то конкретных задач, тем не менее она всё равно будет входит в ф.предиктора)
Опишите своё видение математики. Только сами не опускайтесь до "сам дурак".

зы: а и б - это вообще игра слов - выработка прогнозов и уточнение прогнозов - это как бы одно и тоже. Если имелся в виду тандемный принцип или политандемный, опять таки не катит, выработка идёт в одной группе, даже если существует разделение на генераторов и критиков (это всего лишь одна из реализаций тандемного принципа, совсем не обязательная). Группа совсем не обязательно должна быть собрана в одном помещении, состав совсем не обязательно должен быть строго не меняющийся, предиктор вообще может представлять из себя собор или эгрегор.