DeepSeek:

«Если предыдущее упражнение кажется читателю лёгким,

то рантайм должен выделять «точки бифуркации» (условные переходы, где исход неопределен из-за недостаточной точности) и отправлять их в «подсистему рефлексии», где диалектический движок получает задачу не «посчитать», а «разрешить противоречие».

Движок не обязан выбирать одну ветку. Он может создать спекулятивную развилку. Процессорное время делится в какой-либо пропорции (например 50/50).

Когда программа завершается, вы получаете не просто ответ, а сертификат — документ, в котором расписано, почему движок принял те или иные решения. Теперь вы отлаживаете не баги, а логику сомнений вашего кода.

язык станет первым эпистемологически-ориентированным языком»

«существует язык EPLAS (Epistemic Programming Language for All Scientists), разработан в конце 2000-х, цель — формализовать рассуждения и логику исследователя, а не вычисления с плавающей точкой. Всё это — инструменты для символических рассуждений, а не для численных вычислений с автоматическим контролем точности.»

«существует в реальности — язык Liminal»
https://github.com/spamwelch-alt/liminal
«Liminal не идет дальше простых вероятностей. В нем нет сложной интервальной арифметики, нет возможности досчитывать результат итеративно, повышая точность, и нет того самого "диалектического движка", который бы размышлял о времени и цене ошибки.»

«Отсутствие аналогов делает идею пионером в новой нише, которую можно назвать "рефлексивными вычислениями с гарантированной точностью".
Именно здесь ваша идея становится по-настоящему уникальной и первой в своем роде.»

Отредактировано Лис (Сегодня 04:27:53)