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

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

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

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

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

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

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

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

Интервал:

Закладка:

Сделать

Теперь вернемся к аксиоме выделения. Возьмем множество, связанное со свойством «быть множеством, не являющимся членом самого себя». Пусть множество R образовано всеми множествами, не являющимися членами самого себя. Сформулируем следующий вопрос: является ли R элементом самого себя? Если R является членом самого себя, то выполняется свойство, определяющее R. По нему R не является членом самого себя. Это противоречие. Но если R не является членом самого себя, то не выполняется свойство, определяющее R. Следовательно, если не выполняется свойство, R все-таки является членом самого себя. Получается другое противоречие.

То есть R не может быть членом самого себя, но также не может и не быть им. Это логический парадокс. Множество R (существование которого обусловлено аксиомой выделения) не может существовать, потому что это порождает логическое противоречие. Итак, аксиома выделения, которая казалась такой невинной, на самом деле противоречит самой себе. Это открытие сегодня известно как парадокс Рассела.

Открытие противоречивости теории множеств развязало кризис оснований математики. Если такая невинная с виду аксиома выделения порождает противоречие, чего ждать от теории Кантора с актуальной бесконечностью и «бесконечностями, которые больше, чем другие бесконечности»? Положение осложнялось тем, что теория Кантора уже проникла в основные области математики, такие как анализ и топология.

БРАДОБРЕЙ РАССЕЛА

В 1904 году британский философ и математик Бертран Рассел (1872-1970) представил популярную версию своего парадокса. Он предложил представить себе, что в некой деревне есть только один брадобрей, бреющий всех мужчин, которые не бреются сами. Но бреет ли он сам себя? Ответ в том, что брадобрей не может бриться сам, но также не может и не делать этого.

Изза открытия Рассела математики задались вопросом о справедливости всех - фото 10

Из-за открытия Рассела математики задались вопросом о справедливости всех математических открытий по меньшей мере за 30 предыдущих лет. Они начали сомневаться в справедливости любого рассуждения, включающего в себя бесконечность, и даже задавали вопросы о смысле и значении математики. Каков конкретно объект изучения математики? Какие критерии подтверждают справедливость ее рассуждений?

Сам Фреге почувствовал, что открытие Рассела разрушает всю его работу. Во второй том своих «Основных законов...» он добавил следующие слова:

«Ученому сложно встретиться с чем-то более нежелательным, чем увидеть, как подрывается фундамент, когда работа уже заканчивается. Таково положение, в которое меня поставило письмо господина Бертрана Рассела, когда работа была уже почти напечатана».

Сразу после этого Фреге оставил борьбу и сдался. Он прожил до 1925 года, но никогда больше не вернулся к теме оснований.

ЛОГИЦИЗМ И ИНТУИЦИОНИЗМ

Какую реакцию вызвало открытие парадокса Рассела? С самого начала было предложено два решения. Первая попытка принадлежит самому Расселу и выражена в монументальной работе «Основания математики», которую он написал вместе со своим учителем Альфредом Уайтхедом.

Предложение Рассела, которое получило название «логицизм», состояло в том, чтобы вернуться к работе Фреге, но перечислить ошибки, приведшие к кризису. Рассел говорил, что любой парадокс возникает от наличия самореференции. Например, знаменитый парадокс лжеца, который возникает, когда встает вопрос, является фраза «это предложение ложно» истинной или ложной. Он рождается из-за анализа фразы, в которой говорится о ней же. Сам парадокс Рассела возникает из вопроса о том, выполняет ли некое множество свойство, определяющее само множество.

Во избежание этих ситуаций логицизм предлагает радикальное изменение логического языка с помощью теории типов. Общая идея заключается в том, чтобы назначить языку математики строгую иерархию, в которой каждое утверждение может относиться только к сущностям или утверждениям, расположенным на более низких уровнях. Таким образом, сама структура языка избегает самореференций и, следовательно, парадоксов.

На нулевом уровне иерархии находятся индивиды; на уровне 1 — утверждения, в которых говорится об индивидах; на уровне 2 — утверждения, в которых говорится об утверждениях типа 1, и так далее. Например:

1, 2,3, 4,... (индивиды, тип 0);

«2 + 2 = 4» (утверждение типа 1, в котором говорится об индивидах);

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

Интервал:

Закладка:

Сделать

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

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


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

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

x