Гёдель. Теоремы о неполноте
Книга Густаво Пинейро «Гёдель. Теоремы о неполноте» приглашает читателя в путешествие по сложным и увлекательным теоретическим лабиринтам, где раскрываются фундаментальные истины математики. Автор доступно объясняет ключевые идеи Курта Гёделя — учёного, чьи две теоремы о неполноте перевернули представления о математических основах.
В 1931 году Гёдель показал хрупкость фундамента математики, построенного со времён Евклида. Его работы заставили научное сообщество признать, что некоторые утверждения не могут быть доказаны или опровергнуты в рамках заданной системы аксиом. Книга Густаво Пинейро помогает понять суть этих революционных идей.
Читайте книгу «Гёдель. Теоремы о неполноте» онлайн бесплатно на сайте библиотеки Ридания и погрузитесь в мир глубоких математических размышлений!
Читать полный текст книги «Гёдель. Теоремы о неполноте» бесплатно вы можете в нашей онлайн читалке. Просмотрите оглавление, чтобы перейти сразу к желаемой части книги. Скачать fb2 файл книги (2,78 MB) можно по этой ссылке, если вы предпочитаете свою читалку.
- Год издания: 2015
- Автор(ы): Густаво Пинейро
- Жанры: Математика, Биографии и мемуары: прочее, Образовательная, прикладная, научно-популярная литература
- Серия: Наука. Величайшие теории
- fb2 файл книги добавлен , размер файла 2,78 MB
«Гёдель. Теоремы о неполноте» — читать онлайн бесплатно
Пер. с исп. — М: Де Агостини, 2015. — 168 с.
ISSN 2409-0069
Наука. Величайшие теории Выпуск № 17, 2015 Еженедельное издание
В 1930 году чешский логик Курт Гёдель доказал теорему, сегодня известную как теорема Гёделя о неполноте, которая навсегда изменила понимание математики. По сути, теорема Гёделя утверждает, что если пользоваться точными и достоверными методами рассуждений, методами, исключающими ошибки, то неизбежно будут существовать математические проблемы, которые никогда нельзя будет решить. Всегда найдутся задачи, решение которых будет не под силу этим методам.
До того как Гёдель доказал свою теорему, математики безгранично верили в то, что при достаточном количестве времени, терпения и усилий любая поставленная проблема может быть решена. Например, немецкий математик Давид Гильберт, представивший на Втором Международном математическом конгрессе в Париже в 1900 году знаменитый список из 23 проблем, в своем выдающемся докладе предположил, что эти проблемы определят значительную часть математических исследований в течение XX века.