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

DM>1. Вычислимость и теоремя Геделя о неполноте. Компьютер принципиально ограничен вычислимыми функциями, человек же порой решает задачи, которые выглядят невычислимыми (действительно ли они таковы — еще вопрос).

Пример такой задачи можно? Никогда не решал ни одну задачу, выглядящую невычислимой. В лучшем случае я выбирал вариант решения, который даёт оптимальную величину по моей некоей внутренней ценовой функции, и совершенно не обязательно это был верный вариант решения.