Доказательство Геделя

Description

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