— Все довольно просто. Теория поиска — чистая теория; это значит, что на бумаге она подтверждается всегда. Но стоит только применить ее на практике, как мы сталкиваемся с трудностями, главная из которых — явление неопределенности.
В самых простых словах происходит вот что: наличие теории препятствует подтверждению теории. Видите ли, теория не может учитывать свое влияние на самое себя. Идеальный вариант — когда теория поиска действует во вселенной, где вообще нет никакой теории поиска. Практически же (а нас волнует именно практика) теория поиска действует в мире, где есть теория поисков, которой свойствен так называемый «зеркальный эффект», или «эффект удвоения самой себя».
Р.Шекли. "Обмен Разумов"
Замечательно:))))
Сразу же вспоминаются бессмертные поэтические строчки Гёделя из его поэмы о неполноте.. как там.. :
Для каждого ω-согласованного рекурсивного класса k ФОРМУЛ существуют рекурсивные ЗНАКИ r такие, что ни (v Gen R) , ни --](v Gen R) не принадлежат Flg(k) (где v есть СВОБОДНАЯ ПЕРЕМЕННАЯ r)
или, говоря проще : во всякой достаточно богатой непротиворечивой теории первого порядка формула, утверждающая непротиворечивость этой теории, не является выводимой в ней.
или уж совсем по простому: Никогда не думай, что ты иная, чем могла бы не быть иначе, чем будучи иной в тех случаях, когда иначе нельзя не быть...
