Проведена ли приписка (недоучет) при проверке либо при начальном подсчете — перепроверить практически невозможно.
Иначе говоря, реальные числовые множества РАЗМЫТЫ, ОТКРЫТЫ и в этом смысле одновременно и ограничены и бесконечны.
Таким образом, особая математика, оперирующая с аксиомами КОНЕЧНОЙ МАШИНЫ, имеет законный предмет для теоретических построений.
…Не могу удержаться и добавить: ЗАПРЕТ ДЕЛЕНИЯ на НОЛЬ есть абстрактная попытка запрета ОБЩЕСТВЕННОЙ СОБСТВЕННОСТИ как собственности, принадлежащей КАЖДОМУ, но НИКОМУ в отдельности
С. Шилов:
Левин В. Н., Вы пишите: «Вообще, надо подумать как можно интерпретировать выражение “1/0”»
Думаю, что так:
1/0 = 2
2/0 = 3
3/0 = 5
5/0 = 7
p(n-1)/0 = p(n), где
p — простое число
Деление на ноль — причина существования простых чисел, порождение ряда простых чисел.
Геометрически 1/0 — это фигура квадратуры круга, лента Мёбиуса («1» представляет квадрат (равновеликий кругу), «0» представляет круг (равновеликий квадрату)). Эту фигуру нам уже ряд тысячелетий показывают, а мы все не могли увидеть ее.
Также суждение 0/1 = 1/2 есть то, что физики именуют спином электрона, протона, нейтрона (1/2). Физики на деле обнаруживают универсальную реальность числа (частицы есть субъект-конструкции числа). Спин электрона возникает раньше самого электрона. Само вращение (спин) есть вращение ленты Мёбиуса.
Вероятно, для составных чисел m
0/m=0, т. е. существование составных чисел и есть ограничение числа простых чисел.
То есть, по сути, меганаука — это арифметика вещественного нуля.
Данная арифметика раскрывает истинную сущность деления и является «текстом книги природы». Математика становится языком, в ней становятся возможными суждения. Первое суждение этой книги — формула Единицы «Единица есть множество простых чисел». Истинные суждения арифметики вещественного нуля образуют сущность «технического прорыва».
Религиозная точка зрения укореняется в вещественности ноля («то, чего нет, на деле есть, и делает возможным всё то, что есть которое (всё то, что есть Вселенная), на деле равно нолю»). Центр Вселенной — нигде, граница ее — везде.
Андрей Св.:
С. Шилов, Ваше описание конечной машины описанием не является, во-первых, потому, что упоминаемый Вами лист Мёбиуса, который, якобы используется вместо ленты обычной машины Тьюринга (МТ) — это непростой математический объект, требующий строгого определения (в смыслеего использования в МТ). Во-вторых, требуется также строго описать как же работает эта машина, используя троичный код вместо двоичного. Что она конкретно делает? Не подходит в качестве описания, и то, что говорите о конечной МТ. Возникнет вопрос, чем «вычислимость» по «конечной машине» отличается от «вычислимости» по машине Тьюринга. Для «конечной машины» мало предъявить алгоритм, чтобы считать соответствующую функцию «вычислимой». Необходимо, чтобы предъявленный алгоритм приводил к объявленному результату в заранее указанных ограничениях по времени и по использованному объему памяти. Каковы должны быть ограничения по памяти и по времени? Это что, — мировые константы, тогда какова их величина в обычных единицах (биты, секунды)? Если они могут выбираться, то как? Или это входные данные, записанные на ленте [Мёбиуса]? И главный вопрос, для чего всё это нужно? Для противоракетной обороны не нужно однозначно. Чем быстрее и чем мощнее компьютер, это всегда лучше, а алгоритмы решения прикладных задач никогда не упираются в проблему разрешимости (вычислимости), а всегда только в проблему сходимости. Но это совсем другая проблема из совсем другой как говорится, оперы.
Лебедев В. Н.:
Чудаки, похоже, хотят объявить бесконечность не существующим явлением. Аргумент такой у чудаков — если они, чудаки, дальше чего-то не видят, то это и есть конец всему, т. е. это их невидение и есть конец бесконечности, а по сему, с точки зрения чудаков, бесконечности нет. Чудаки городят явную чушь Бесконечность существует вне зависимости от восприятия чудаков — их возможности на сей день понять и почувствовать горизонт этой существующей бесконечности. Будет изобретен «новый телескоп», который двинет дальше границу видимой понимаемой вселенной, и т д.
Foton:
Чудаки-нечудаки, а с бесконечностью далеко не всё ясно. Были и есть большие сомнения, с каким аналогом математических множеств мы имеем дело в нашей реальной действительности. С точки зрения красоты, простоты и аналитичности великолепные возможности физикам предоставляют операции с множествами мощности «континуум». Это, например, всем известная числовая прямая действительных чисел. Грех этими преимуществами не воспользоваться. ОДНАКО множества мощности «континуум» (бесконечные и «вширь» и «вглубь») оказываются сильно «придурковаты» при их детальном рассмотрении (Кантор). Не физичны, одним словом. Не случайно, бездумное использование континуального матаппарата завело в конце концов современную физику в дремучие дебри парадоксов и алогизма. Хотя колени у физиков сильно дрожат от страха и руки на предельный переход не поднимаются, тем не менее они рано или поздно будут вынуждены отказаться от континуального матаппарата (по крайней мере, в КЭД и КТП) и перейти к более адекватному матаппарату на базе счетных множеств. Доказать существование бесконечности как явления невозможно. Скорее, наоборот. Тот факт, что мы имеем дело с телами конечных размеров и конечного времени жизни свидетельствует против её существования. Так что с чудаками поосторожнее как бы самому не оказаться чудаком.
С. Шилов:
Андрей Св, замечательные вопросы поставлены Вами:
1. Необходимость строго математического (конструктивистского) описания (интерпретации) ленты Мёбиуса, которая будет использоваться в конструктивистско-конечной машине.
2. Конструктивистское описание того как работает эта машина, используя троичный код вместо двоичного, что она конкретно делает.
3. Отличие «вычислимости» по «конечной машине» от «вычислимости» по машине Тьюринга.
4. Ограничения конечной машины по памяти и по времени.
5. Для чего все это нужно.
Заметьте, сама постановка этих вопросов уже находится внутри «конечной математики». Это вопросы разрешимы в ней и являются конкретными направлениями ее разработки.
Отвечу на вопрос, что будет делать эта машина.
Первое. Она будет СУДИТЬ. Кант, опираясь на Декарта, показал, что суждение «неразрешимо» в логике (не может быть создано и понято в логике). Суждение не есть «да» или «нет». Суждение есть конечный смысл. («Критика способности суждения» И. Канта). Идея Риторики С. Шилова раскрывает кантовскую вещь в себе как число.
Второе. Она будет МОДЕЛИРОВАТЬ БУДУЩЕЕ — давать общее аналитическое решение задачи многих тел (частный случай: задача трех тел).
Третье. Соединение данной машины с техникой физики ядерных исследований (элементарных частиц) будет производить ОТНОСИТЕЛЬНО НЕОГРАНИЧЕННЫЕ ОБЪЕМЫ ЭНЕРГИИ.
Ripper:
Шилов-Нуль и Левин-Бесконечность образуют сегодня усточивую пару, способную открывать всё буквально из ничего. Актуализация в одном месте двух этих понятий — Нуль и Бесконечность в виде Шилова и Левина есть подтверждение моей гипотезы — гипотезы о Конце света. Ибо, если Нуль и Бесконечность сойдутся в точку, то он, Конец света, и наступит.
В.Н. Левин:
Планирование обработки потоков информации, идущей в реальном времени от быстротекущих процессов, ЗАСТАВЛЯЕТ использовать такой метод динамического распределения ограниченной памяти, который моделирует схему именно ЛИСТА МЁБИУСА, т. е. информация непрерывно пишется от начала выделенной области памяти до её конца, причем при достижении конца продолжение записи автоматически переадресуется на начало этой же самой области памяти, с записью поверх ранее записанной информации. При этом все обрабатывающие программы должны успеть обработать информацию до того как её затерли новые записи. Таким образом, конечная машина Шилова, получаемая из машины Тьюринга путем замены «потенциально бесконечной» ленты на конечную ленту Мёбиуса отражает факт ПРАКТИКИ построения программных систем для задач противоракетной обороны.