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

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