Да, речь об этой теореме.
Касательно "трагедий с поиском истины" - эта теорема имеет трагический смысл, только если мы связывали познание мира исключительно с абстрактными системами чистой математики. Просто реальный мир шире абстрактных систем - вот и всё. Пример: берём сложную систему (экосистему, например). Оказывается, что смоделировать её - значит воспроизвести полностью весь контекст, всю историю ("зависимость сложных систем от всей истории"). Можем смоделировать формально? Можем, но только мгновенный снимок конкретного аспекта. Всё течёт, всё изменяется - и формальное описание завтра уже никому не будет нужным. Т.е. чтобы формализовать, нужно бесконечное множество формальных описаний. (Так же, как у Гёделя - при попытке построить полную формальную систему уходим в бесконечное их громождение одна над другой - и все неполны).
Кое-что вот тут рассматривается:
http://www.polyakov.com/informodynamics/ Кое-в-чём тяжеловата и длинновата книжка, но здравый подход точно присутствует (в частности, вместо формализации так называемая феноменология: т.е. избегание любых умозрений "от балды", а постепенное усмотрение существа явления. Авторы многократно критикуют то, что как только где-то сказано "Пусть .... мн-во...." и т.п., т.е. закрепили исходную аксиоматику - то полностью изолировались от реальной задачи и дальше изучают только свойства собственной аксиоматики, и ничего более, игры с формализмами).
Есть ещё книги, которые, увы, никак не прочту, но всё собираюсь:
Ю. Манин "Доказуемое и недоказуемое", "Вычислимое и невычислимое". Изданы около 80-го года. (Кстати, именно Манин в этих книгах впервые выссказал идею квантовых вычислений, ДО Фейнмана!). (если заинтересуетесь и не найдёте - могу скинуть)
Так вот в книжке по "информодинамике" мысль такая: отрицается возможность создания ИИ на основе формальных систем. Но, однако, выссказываются нек. мысли по тому, как практически (физически, инженерно, так скть) можно было бы подойти к построению интеллектуальных систем. Но парадокс-то вот какой: всех ИИ-шников всегда подстегивало то, что "машина быстрее, машина лучше, машина точнее..." - т.е. на её основе можно сделать нечто, легко превосходящее человека. А при взгляде с другой стороны (единственно реальной) - ИИ не на базе алгоритмических машин - то просто-напросто получается, что оптимальная реализация и есть человек. И ни о каком "щас мы сделаем круче" речь идти не может.