Доказательство Гёделя на русском

Доступное объяснение новаторской работы Курта Гёделя в области математической логики: « Превосходное нетехническое изложение». — Бюллетень Американского математического общества

В 1931 году Курт Гёдель опубликовал свою основополагающую работу «О формально неразрешимых предложениях Principia Mathematica и связанных с ней систем». Эта революционная работа бросила вызов некоторым основным предположениям, лежащим в основе многих исследований в области математики и логики. Гёдель получил общественное признание за свою работу в 1951 году, когда ему была присуждена первая премия Альберта Эйнштейна за достижения в естественных науках — возможно, высшая награда такого рода в Соединенных Штатах. Комитет по присуждению премии охарактеризовал его работу в области математической логики как «один из величайших вкладов в науку за последнее время».

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

Издательство Нью-Йоркского университета с гордостью представляет это специальное издание одной из своих самых продаваемых книг. С новым предисловием Дугласа Р. Хофстадтера, лауреата Пулитцеровской премии, автора книги «Гёдель, Эшер, Бах» , который также обновил текст, эта книга будет интересна студентам, ученым и специалистам в области математики, информатики, логики и философии, а также науки.