3. Отличие «вычислимости» по «конечной машине» от «вычислимости» по машине Тьюринга.
4. Ограничения конечной машины по памяти и по времени.
5. Для чего все это нужно.
Заметьте, сама постановка этих вопросов уже находится внутри «конечной математики». Это вопросы разрешимы в ней и являются конкретными направлениями ее разработки.
Отвечу на вопрос, что будет делать эта машина.
Первое. Она будет СУДИТЬ. Кант, опираясь на Декарта, показал, что суждение «неразрешимо» в логике (не может быть создано и понято в логике). Суждение не есть «да» или «нет». Суждение есть конечный смысл. («Критика способности суждения» И. Канта). Идея Риторики С. Шилова раскрывает кантовскую вещь в себе как число.
Второе. Она будет МОДЕЛИРОВАТЬ БУДУЩЕЕ — давать общее аналитическое решение задачи многих тел (частный случай: задача трех тел).
Третье. Соединение данной машины с техникой физики ядерных исследований (элементарных частиц) будет производить ОТНОСИТЕЛЬНО НЕОГРАНИЧЕННЫЕ ОБЪЕМЫ ЭНЕРГИИ.
Ripper:
Шилов-Нуль и Левин-Бесконечность образуют сегодня усточивую пару, способную открывать всё буквально из ничего. Актуализация в одном месте двух этих понятий — Нуль и Бесконечность в виде Шилова и Левина есть подтверждение моей гипотезы — гипотезы о Конце света. Ибо, если Нуль и Бесконечность сойдутся в точку, то он, Конец света, и наступит.
В.Н. Левин:
Планирование обработки потоков информации, идущей в реальном времени от быстротекущих процессов, ЗАСТАВЛЯЕТ использовать такой метод динамического распределения ограниченной памяти, который моделирует схему именно ЛИСТА МЁБИУСА, т. е. информация непрерывно пишется от начала выделенной области памяти до её конца, причем при достижении конца продолжение записи автоматически переадресуется на начало этой же самой области памяти, с записью поверх ранее записанной информации. При этом все обрабатывающие программы должны успеть обработать информацию до того как её затерли новые записи. Таким образом, конечная машина Шилова, получаемая из машины Тьюринга путем замены «потенциально бесконечной» ленты на конечную ленту Мёбиуса отражает факт ПРАКТИКИ построения программных систем для задач противоракетной обороны.
С. Шилов:
Японские ученые смогли получить в лабораторных условиях односторонние кристаллы в форме ленты Мёбиуса (http://mobius.kpv.ru/view/text.shtml?2291). Вот Вам и философский камень.
Андрей Св.:
Что же касается ЛИСТА МЁБИУСА, то я уже однажды подробно объяснял, что это такое, это вообще 4-мерный объект, а лента в машине Тьюринга это сугубо (и принципиально) одномерный объект. И если в листе Мёбиуса Вы используете только его замкнутость по одному (из 4) измерений, то он Вам не нужен, так как функционально ничем не будет отличаться от обычной закольцованной ленты двойной (по сравнению с полоской, вырезанной из листа Мёбиуса) длины.
С. Шилов:
Думаю, что речь должна идти об одностороннем кристалле в форме ленты Мёбиуса.
В конечно-конструктивистской машине физический процесс «переходит» в математический, математический — в физический, осуществляется троичный код, простое число фиксирует конкретную вещественность ноля. Таким образом, речь идет о программировании кристалла в форме ленты Мёбиуса. Так, в частности, Марсель Фогель, который был автором более ста важных патентов, включая изобретение флоппидискеты, прямо перед смертью высказал мысль, что природный кристалл может содержать несколько программ одновременно. По его мнению, кристалл в состоянии хранить столько программ, сколько граней находится на вершине кристалла.
В. Н. Левин:
Сергей Шилов, Меня смущает вопрос о несводимости качества к количеству. В связи с этим вопрос: как соотносится риторическая концепция ЧИСЛА к категории КОЛИЧЕСТВО. Это разные категории или одно и то же? Если одно и то же, то как быть с КАЧЕСТВОМ? Если разные, то чем отличается категория ЧИСЛО от категории КОЛИЧЕСТВО?
С. Шилов:
Валентин Николаевич, риторическая теория числа приходит из философии. Причем, явным образом. Из истории философии — как философская система, возникающая в конце истории мышления Нового времени. Риторическая теория числа, безусловно, соотносится с философией Гегеля. С философией, где имело место тождество-различие количества-и-качества (так называемый закон перехода количественных изменений в качественные). У самого Гегеля сей «закон» выражается представлением о линии мира, на которой расположены узлы качеств, о «цепочке качеств». НАУКА РИТОРИКИ есть СИСТЕМА ЧИСТОГО РАЗУМА, в качестве критики (предпосылки) которой выступает гегелевская Наука Логики. С точки зрения Науки Риторики, линия мира, «аморфно-неопределенно» описываемая Гегелем, есть ЧИСЛОВОЙ РЯД (простое число есть понятие), узлы качеств есть ПРОСТЫЕ ЧИСЛА, цепочка качеств есть РЯД ПРОСТЫХ ЧИСЕЛ, абсолютная идея есть ЕДИНИЦА, механизм действия абсолютной идеи (произведения мира) есть ПРИНЦИП ДЕЛИМОСТИ НА НОЛЬ, АРИФМЕТИКА ВЕЩЕСТВЕННОГО НОЛЯ.