«Гёдель. Теоремы о неполноте»

Гёдель. Теоремы о неполноте (fb2) - Гёдель. Теоремы о неполноте [У интуиции есть своя логика.] 2844K скачать: (fb2) - (epub) - (mobi) - Густаво Эрнесто Пинейро

Gustavo Ernesto Pineiro

Наука. Величайшие теории: выпуск 17: У интуиции есть своя логика. Гёдель. Теоремы о неполноте.

Пер. с исп. — М: Де Агостини, 2015. — 168 с.

ISSN 2409-0069

© Gustavo Ernesto Pineiro, 2013 (текст)

© RBA Coliecionables S.A., 2012

© ООО «Де Агостини», 2014-2015

Наука. Величайшие теории Выпуск № 17, 2015 Еженедельное издание

Введение

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

До того как Гёдель доказал свою теорему, математики безгранично верили в то, что при достаточном количестве времени, терпения и усилий любая поставленная проблема может быть решена. Например, немецкий математик Давид Гильберт, представивший на Втором Международном математическом конгрессе в Париже в 1900 году знаменитый список из 23 проблем, в своем выдающемся докладе предположил, что эти проблемы определят значительную часть математических исследований в течение XX века.