| self reference |
[Jul. 7th, 2010|03:14 pm]
igor_t_ru
|
В очередной раз задумываясь о "тривиальном" доказательстве невозможности построения универсального решателя пришел к симпатичной мысли - что self-reference является аппаратно-зависимым.
Существует реальная разница между программой, которая принимает на вход строку , которая в свою очередь может быть текстом самой программы и программой загруженной в оперативную память с регистром хранящим адрес самой программы - это просто две разные программы - они дожны понимать абсолютно разные языки...
То есть существенную роль начинает играть транслятор ... можно развернуть, но лень
после этого "тривиальное" доказательство легко разваливается -
если универсальный решатель находится снаружи - он "легко" может определить, что обертка и он сам внутри нее зацикливается - а то, что она - обертка зацикливается никак не доказывает невозможность такого решателя.
Может быть другие доказательства более логичны - я не знаю... |
|
surprised