Здравствуйте, Sinclair, Вы писали:

_>>Твое определение бесконечного по времени цикла требует того чтобы цикл априори был бесконечным, иначе это будет определение конечного цикла
S>Простите, это наукообразная чушь.
Не эксперт в этой области и просто хочу понять. И у меня есть подозрения, что кто-то что-то не договаривает, а по моему мировоззрению, неполная информация есть ложь.


S>Определение бесконечного цикла не требует никакой "априорности". Это если под словом "определение" имеется в виду definition, а не detection.
S>Определение — очень простое: если для любого целого N на итерации номер N цикл всё ещё не закончился остановом, то это — бесконечный цикл.

Что такое целое число в терминах МТ? Чем отличается дефинишн конечного алгоритма от детекшн в МТ? Кажется у этой проблемы есть общеизвестное название?

_>>Бывают ли бесконечные алгоритмы?

S>
S>

S>10 GOTO 10
S>

Это _алгоритм_ в какой-то теории? Или неизвестно что?
Я знаю, что есть бесконечное множество алгоритмов (которые конечны по определению)? А вот про бесконечные алгоритмы не слышал?