Формальная постановка Тезиса М

Рассматривается Тезис М и освещаются основные проблемы с формальным доказательством корректности или ложности данного тезиса. Предложена математическая постановка вопроса и рассмотрены простейшие свойства введeнной модели. Описан пример одномерной непрерывной однородной стриктуры, в которой может быть реализована машина с оракулом.