koob.ru

Теорема Гёделя о неполноте

Есть в математике темы, пользующиеся достаточной известностью и в то же время признаваемые традицией слишком сложными (или маловажными) для включения в обязательное обучение: обычай относит их к занятиям факультативным, дополнительным, специальным и т.п. В перечне таких тем есть несколько, остающихся сейчас там исключительно в силу инерции. Одной из них является теорема Гёделя.

Излагаемый в этой брошюре способ доказательства теоремы Гёделя отличен от способа, предложенного самим Гёделем, и опирается на элементарные понятия теории алгоритмов. Все необходимые сведения из этой теории сообщаются по ходу дела, так что читатель одновременно знакомится с основными фактами теории алгоритмов. Брошюра написана на основе статьи автора в журнале «Успехи математических наук», 1974, том 29, выпуск 1 (175).

Добавить отзыв о книге
Авторы сайта
Георгий Ефимов & Владимир Никонов
Библиотека «Куб»
Поддержать проектПодписаться