Итак, как было сказано сегодня на уроке, из Теоремы Райса следует со всей необходимостью, что, имея число программы, мы можем сказать о ней все -- какие переменные в ней участвуют, какие в ней есть метки, сколько в ней инструкций и т.п. -- но ничего не можем сказать о функции, которую она вычисляет -- ни полная ли это функция, ни конечна ли область ее значений, ни монотонна ли она -- ничего.
Не служит ли это доказательством утверждения де Соссюра об ассиметричном дуализме языкового знака? Что слово "лошадь" не несет никакой информации о животном Equus?
Конечно, все это основывается на тезисе Черча, который, насколько я знаю, не опровергнут до сих пор никакими вычислительными прибамбасами, но и не доказан никем никак.
И, если Теорема Райса действительно доказывает то, что утверждал де Соссюр, то что мне теперь делать с гипотезой Сапира-Уорфа?
Читать, прежде всего. Но когда?
Не служит ли это доказательством утверждения де Соссюра об ассиметричном дуализме языкового знака? Что слово "лошадь" не несет никакой информации о животном Equus?
Конечно, все это основывается на тезисе Черча, который, насколько я знаю, не опровергнут до сих пор никакими вычислительными прибамбасами, но и не доказан никем никак.
И, если Теорема Райса действительно доказывает то, что утверждал де Соссюр, то что мне теперь делать с гипотезой Сапира-Уорфа?
Читать, прежде всего. Но когда?