Можно ли вычислить всё? О Гёделе, Тьюринге и программировании

[nin-jin]

Раз уж вас действительно интересует эта тема, а не просто сгенерировали какой-то реферат по мотивам, то рекомендую к прочтению более глубокий анализ, из которого вы узнаете, о чём на самом деле говорит теорема Гёделя, и почему с Тьюрингом всё не так однозначно.

[ThisMan]

А глубокий анализ будет? Пока увидел только диванные рассуждения без какой либо формализации

[nin-jin]

Перечитывайте снова и снова, пока не увидите.

[realbtr]

Скрытый текст

Пока математика игнорирует базовый логический квантор неопределенности, все эти апории так и будут создавать иллюзию доказательств

[rsashka]

У вас используется несколько допущений (теорем) из-за изменения которых можно сделать прямо противоположные выводы.

Если говорить про машину ТЬюринга, то тут все просто, её не существует. Это исключительно математическая абстракция, которая нужна для, … наверно, для формализованного определения такого термина, как “алгоритм” и вся вычислительная техника :-).