Кригер Борис - Тень Гёделя. Неполнота формальных систем

В этой книге Борис Кригер исследует одно из самых тревожных открытий современной логики и прослеживает его последствия далеко за пределами математики. Начиная с теорем Гёделя о неполноте, книга показывает, как любая система, способная описать себя, неизбежно сталкивается с истинами, которые она не может обосновать изнутри. В результате получается не техническая загадка, а глубокое философское понимание природы разума, смысла и объяснения.

Рассматривая логику, философию, язык, искусственный интеллект и самопонимание человека, Кригер показывает, почему мечта о всеобъемлющем, самодостаточном объяснении неоднократно терпит неудачу — и почему она обречена на провал. Формальные системы выявляют свои собственные слепые пятна. Последовательность основывается на доверии, а не на доказательствах. Смысл всегда выходит за рамки структур, призванных его запечатлеть. Эти ограничения, отнюдь не подрывая рациональное мышление, раскрывают его истинную глубину и жизнеспособность.

Написанная с ясностью и философской сдержанностью, книга «Тень Гёделя» — это не труд о математических уловках или абстрактных парадоксах. Это размышление о том, почему замкнутость — это иллюзия, почему самооправдывающиеся системы скатываются в замкнутый круг и почему человеческое понимание остается неизменно открытым. Для читателей, интересующихся философией математики, эпистемологией, искусственным интеллектом и пределами самого разума, эта книга предлагает строгое, но доступное руководство по тени, которую отбрасывает каждая система — и от которой она не может избавиться.

Борис Кригер — междисциплинарный философ, занимающийся вопросом о том, как разрозненные области знаний могут быть объединены в целостное видение человеческого существования. В своих работах он стремится преодолеть разделение философии и науки, этики и политики, индивидуального опыта и коллективных структур. Объединяя идеи экзистенциализма, социальной теории, когнитивной науки и технологических исследований, он разрабатывает способ мышления, который не является ни редукционистским, ни утопическим, а отражает сложность современного мира. Вам предлагается перевод книги с английского.