Вычислимость в физике

[ushastyi]

Выношу из комментариев некоторые ссылки на исследования Юрия Манина, любезно подброшенные sober_space. (неполный список его работ можно найти, например, тутhttps://www.youtube.com/watch?v=cwZf0lJVOiY -- доклад Манина "Ренормализация и теория вычислимости

Comments

[formerchild]

>>останавливая вычисления в произвольный момент, можно гарантировать определенную точность

И кстати, это перекликается с моей идеей алгебраической верификации, в которой есть и топологические моменты. Например, конструкцию

while (COND) { RUN; }
можно понимать как предел последовательности программ:
if (COND) { RUN; }
if (COND) { RUN; if (COND) { RUN; } }
if (COND) { RUN; if (COND) { RUN; if (COND) { RUN; } } }
.
.
.

[formerchild]

Вообще я мечтаю увязать алг. верификацию с геометрией. Это было бы просто шикарно.