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

Теги книги

Описание

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