Gustavo Pineiro - У интуиции есть своя логика. Гёдель. Теоремы о неполноте.

Здесь есть возможность читать онлайн «Gustavo Pineiro - У интуиции есть своя логика. Гёдель. Теоремы о неполноте.» весь текст электронной книги совершенно бесплатно (целиком полную версию без сокращений). В некоторых случаях можно слушать аудио, скачать через торрент в формате fb2 и присутствует краткое содержание. Город: М.:, Год выпуска: 2015, Издательство: ООО «Де Агостини»,, Жанр: Математика, sci_popular, на русском языке. Описание произведения, (предисловие) а так же отзывы посетителей доступны на портале библиотеки ЛибКат.

У интуиции есть своя логика. Гёдель. Теоремы о неполноте.: краткое содержание, описание и аннотация

Предлагаем к чтению аннотацию, описание, краткое содержание или предисловие (зависит от того, что написал сам автор книги «У интуиции есть своя логика. Гёдель. Теоремы о неполноте.»). Если вы не нашли необходимую информацию о книге — напишите в комментариях, мы постараемся отыскать её.

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

У интуиции есть своя логика. Гёдель. Теоремы о неполноте. — читать онлайн бесплатно полную книгу (весь текст) целиком

Ниже представлен текст книги, разбитый по страницам. Система сохранения места последней прочитанной страницы, позволяет с удобством читать онлайн бесплатно книгу «У интуиции есть своя логика. Гёдель. Теоремы о неполноте.», без необходимости каждый раз заново искать на чём Вы остановились. Поставьте закладку, и сможете в любой момент перейти на страницу, на которой закончили чтение.

Тёмная тема
Сбросить

Интервал:

Закладка:

Сделать

Нечто подобное происходит с семантическими доказательствами; мы можем быть уверены, что из Р выводится Q... пока не найдем мир, в котором Р будет истинным, a Q не работает. В программе Гильберта предполагалось избавление от этой неточности и предлагались методы доказательства, правильность которых можно было бы проверить раз и навсегда.

Повторим сказанное выше: любое истинное арифметическое высказывание может быть доказано на основе аксиом Пеано, если мы допустим семантические методы. Но мы никогда не сможем быть абсолютно уверены в том, что эти семантические методы верны. Мы можем иметь точные и достоверные методы рассуждения, как хотел Гильберт, но в этом случае не сможем доказать все истины. Мы можем узнать потенциально все арифметические истины, но без уверенности в том, что наши методы корректны. Надежность и достоверность либо возможность узнать все истины — одно или другое, но не оба варианта одновременно.

ЛЮДИ И КОМПЬЮТЕРЫ

Выше ли человеческий разум компьютера? Верно ли, что мы "думаем", в то время как компьютер просто "считает"? Или нет принципиальной разницы, и однажды технологический прогресс позволит нам создать искусственный интеллект, с которым мы встречаемся в научной фантастике?

Полемика на эту тему началась в середине XX века — с развитием первых электронных компьютеров. С тех пор были написаны десятки и даже сотни книг и статей с аргументами, опровержениями, дебатами и гипотезами на эту тему, но до сегодняшнего дня ответа так и нет.

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

Прежде мы привели доказательство непротиворечивости аксиом Пеано, и наша человеческая способность воспринимать семантическое понятие "истины" убеждает нас в том, что оно верно. Однако во второй теореме Гёделя доказывается, что правильность этого доказательства не может быть проверена компьютером. Так мы нашли задачу (проверка правильности доказательства того, что аксиомы Пеано непротиворечивы), которую человеческий разум может осуществить, а компьютер нет (и эта невозможность принципиальна). Следовательно, человеческий разум выше компьютера.

В случае если математические предложения имеют отношение к действительности, они неточны, и наоборот, если они точные, они не имеют отношения к действительности.

Альберт Эйнштейн на лекции, прочитанной 27 января 1921 года

Аргумент кажется убедительным, но он не окончательный. Доказательство непротиворечивости аксиом Пеано основывается на нашей интуиции о том, что эти аксиомы являются истинными высказываниями. Но не ошибается ли наша интуиция? Она ведь подвела, например, Фреге, который в течение нескольких лет был убежден в непротиворечивости своих аксиом, пока Бертран Рассел не открыл, что одна из них противоречит самой себе. Возможно, когда-то в будущем новый Рассел покажет нам парадокс, следующий из аксиом Пеано, и скажет, что они все-таки противоречивы.

Следовательно, мы не можем хвастаться своим превосходством над компьютерами, поскольку никогда не будем уверенными в том, что наши семантические рассуждения верны. Нам нужно свыкнуться с возможностью того, что в будущем все (или почти все) наши рассуждения окажутся неверными.

Дискуссия, начатая с открытия парадокса Рассела, так и не закончилась. Три предположения, которые были сделаны в начале XX века, — интуиционизм, логицизм и формализм (или программа Гильберта) — провалились по разным причинам и не были заменены другой программой аналогичного уровня. Какова природа математических объектов? Существует ли промежуточный уровень между чисто синтаксическими и семантическими рассуждениями, который позволил бы превзойти неполноту теорем Гёделя, в то же время обеспечив непротиворечивость? Действительно ли существует категорическая разница между синтаксическим и семантическим? Или понятия, которые мы называем семантическими, являются всего лишь более сложными синтаксическими понятиями (в которых работают с группами символов вместо индивидуальных символов)? Существует еще много подобных вопросов, ответы на которые не найдены... к счастью.

Список рекомендуемой литературы

Bell, Е.Т., Los grandes matemdticos, Buenos Aires, Losada, 2010.

Boyer, C., Historia de la matemdtica, Madrid, Alianza Editorial, 2007.

Читать дальше
Тёмная тема
Сбросить

Интервал:

Закладка:

Сделать

Похожие книги на «У интуиции есть своя логика. Гёдель. Теоремы о неполноте.»

Представляем Вашему вниманию похожие книги на «У интуиции есть своя логика. Гёдель. Теоремы о неполноте.» списком для выбора. Мы отобрали схожую по названию и смыслу литературу в надежде предоставить читателям больше вариантов отыскать новые, интересные, ещё непрочитанные произведения.


Отзывы о книге «У интуиции есть своя логика. Гёдель. Теоремы о неполноте.»

Обсуждение, отзывы о книге «У интуиции есть своя логика. Гёдель. Теоремы о неполноте.» и просто собственные мнения читателей. Оставьте ваши комментарии, напишите, что Вы думаете о произведении, его смысле или главных героях. Укажите что конкретно понравилось, а что нет, и почему Вы так считаете.

x