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