Цитата:
Автор оригинала: gromopetr
*************
А как же тезис Тьюринга? 
*************
Видимо, о нем тоже не слышал. Только про Черча было.
|
Раз МТ проходили, то и тезис должны были, только он обычно не осознается , как положено.
Собственно тезис как раз в том, что любой алгоритм можно реализовать машиной Тьюринга. Т.е. мы придумали себе такое определение (все, что МТ реализует - считаем алгоритмом), а дальше от него уже можно отталкиваться и что-то доказывать.
Цитата:
*************
Нет, это совсем не доказательство
*************
Ну почему же? Если считать очевидным, что интерпретатор С написать можно, то очень даже.
|
Если считать очевидным, что можно сделать такую волшебную штучку, которая будет делать XXX, то можно "доказать" что угодно, подставив вместо XXX всё, что хочется.