Посмотрев фильм, думаю, может теперь еще и книгу почитать (наводку дал http://lj.rossia.org/users/dmitry_danner/).

— Есть разница между полной истиной и частью истины, и это можно доказать: таков по сути вывод Тарского [11] из теоремы Гёделя, — сказал Селдом. — И разумеется, судьи, судебные врачи, а также археологи усвоили это куда раньше математиков. Возьмем для примера любое преступление с двумя подозреваемыми. Каждый из них знает всю правду, то, что первостепенно важно в данном деле: «это был я» или «это был не я». Но правосудие не может напрямую использовать их правду, ему приходится двигаться к ней извилистыми и трудными путями, собирая доказательства: проводить допросы, изучать и проверять алиби, искать отпечатки пальцев… И очень часто очевидных вроде бы фактов оказывается недостаточно ни для того, чтобы доказать вину одного, ни для того, чтобы снять подозрения с другого. По сути, Гёдель в 1930 году убедительно продемонстрировал в своей теореме о неполноте, что нечто подобное случается и в математике. Имеется в виду механизм доказательства истины, восходящий к Аристотелю и Евклиду, весь этот набор приемов, с помощью которых, опираясь на постулаты и правила вывода, путем логических дедукций получают утверждения (теоремы) данной теории — иначе говоря, то, что мы называем аксиоматическим методом… Но и он порой может оказаться столь же неудовлетворительным, как и шаткие критерии приблизительности в глазах правосудия. — Селдом на миг прервался, протянув руку к соседнему столу за бумажной салфеткой. Я подумал было, что он хочет написать на ней одну из своих формул, но он лишь быстро вытер салфеткой уголок рта и вновь заговорил: — Гёдель показал, что далее на самых элементарных математических уровнях существуют идеи, которые не могут быть ни доказаны, ни отвергнуты на основе аксиом, и последние находятся вне зоны достижения формальных механизмов и не поддаются никаким попыткам доказательства. Есть случаи, относительно которых ни один судья не может сказать, где правда, а где ложь, виноват человек или невинен.

"Незаметные убийства" Мартинес Гильермо