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

_>>Жду конфигурацию МТ, которая строит целые числа (-inf, +inf), пока без алгебры.
S>Что такое "строит"?
Например упорядоченное множество {1,2,3} можно представить как {|,||,|||}. Как построить множество целых чисел?

_>>>>Чем отличается дефинишн конечного алгоритма от детекшн в МТ?
S>>>Всем.
_>>А именно?
S>Определение — это формальная конструкция, описывающая свойства определяемого объекта.
S>Детектирование — это процесс проверки конкретного объекта на предмет наличия соответствующих свойств.

S>>>Вы намекаете на неформальное определение алгоритма, которое подразумевает конечность?
_>>Неформальное? Вроде как раз у бесконечных алгоритмов большие проблемы с формализацией.
S>Ну да, неформальное. Собственно МТ, ЧРФ, и лямбда-исчисление и появились в результате попыток формализовать понятие "алгоритм".
S>У Тьюринга аналогом понятия алгоритм как раз является конкретная МТ. Любая МТ описывает некое вычисление. В том числе и та, которая аналогична 10 GOTO 10.
S>К сожалению, не все такие вычисления когда-либо заканчиваются.

В общем ясно, у нас разное понимание алгоритма. К сожалению, дальнейший разговор для меня не имеет смысла как бесконечный "алгоритм" 10 goto 10.