• Пожаловаться

Мартин Гарднер: А ну-ка, догадайся!

Здесь есть возможность читать онлайн «Мартин Гарднер: А ну-ка, догадайся!» весь текст электронной книги совершенно бесплатно (целиком полную версию). В некоторых случаях присутствует краткое содержание. Город: Москва, год выпуска: 1984, категория: Развлечения / на русском языке. Описание произведения, (предисловие) а так же отзывы посетителей доступны на портале. Библиотека «Либ Кат» — LibCat.ru создана для любителей полистать хорошую книжку и предлагает широкий выбор жанров:

любовные романы фантастика и фэнтези приключения детективы и триллеры эротика документальные научные юмористические анекдоты о бизнесе проза детские сказки о религиии новинки православные старинные про компьютеры программирование на английском домоводство поэзия

Выбрав категорию по душе Вы сможете найти действительно стоящие книги и насладиться погружением в мир воображения, прочувствовать переживания героев или узнать для себя что-то новое, совершить внутреннее открытие. Подробная информация для ознакомления по текущему запросу представлена ниже:

Мартин Гарднер А ну-ка, догадайся!

А ну-ка, догадайся!: краткое содержание, описание и аннотация

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

Книга известного американского популяризатора науки Мартина Гарднера, посвященная логическим и математическим парадоксам. Рассчитана на самый широкий круг читателей.

Мартин Гарднер: другие книги автора


Кто написал А ну-ка, догадайся!? Узнайте фамилию, как зовут автора книги и список всех его произведений по сериям.

А ну-ка, догадайся! — читать онлайн бесплатно полную книгу (весь текст) целиком

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

Тёмная тема

Шрифт:

Сбросить

Интервал:

Закладка:

Сделать

Рассмотрим утверждение парадокса лжеца «Это утверждение ложно». В переводе на теоретико-множественный язык оно звучит так: «Это утверждение есть элемент множества всех ложных утверждений».

Если «это» утверждение действительно принадлежит множеству всех ложных утверждений, то то, о чем оно говорит, — правда и, следовательно, оно не может принадлежать множеству всех ложных утверждений.

Если же утверждение парадокса лжеца не принадлежит множеству ложных утверждений, то то, о чем оно говорит, — неправда и, следовательно, оно должно принадлежать множеству всех ложных утверждений.

У каждого семантического парадокса существует теоретико-множественный аналог, а у каждого теоретико-множественного парадокса существует семантический аналог.

Метаязыки
Чтобы разрешить семантические парадоксы используют специальный прием так - фото 34

Чтобы разрешить семантические парадоксы, используют специальный прием — так называемые метаязыки. Утверждения об окружающем мире, например «Яблоки красные» или «Яблоки синие», делаются на объектном языке. Утверждения об истинностных значениях следует делать на метаязыке.

В этом примере никакого парадокса нет и не может быть так как утверждение А - фото 35

В этом примере никакого парадокса нет и не может быть, так как утверждение А, записанное, по предположению, на метаязыке, относится к значению истинности утверждения В, записанного на объектном языке.

А каким образом мы могли бы говорить о значениях истинности утверждений - фото 36

А каким образом мы могли бы говорить о значениях истинности утверждений, записанных на метаязыке? Для этого нам пришлось бы подняться на еще одну ступень и ввести метаязык. Каждая ступень бесконечной лестницы является метаязыком по отношению к предыдущей ступени (расположенной ниже) и объектным языком по отношению к следующей ступени (расположенной выше).

Понятие «метаязык» было введено польским математиком Альфредом Тарским. На нижней ступени лестницы находятся утверждения об объектах, например «У Марса две луны». Такие слова, как «истина» и «ложь», не входят в язык низшей ступени. Чтобы говорить об истинности или ложности утверждений, высказанных на языке низшей степени, мы должны воспользоваться метаязыком — следующей, более высокой ступенью лестницы. Метаязык включает в себя весь объектный язык, но не исчерпывается им. Метаязык «богаче» объектного языка, поскольку позволяет говорить об истинности и ложности утверждений, записанных на объектном языке. Любимый пример Тарского: «Снег белый» — утверждение из объектного языка, «Утверждение «Снег белый» истинно» — утверждение из метаязыка.

Можно ли говорить об истинности или ложности утверждений из метаязыка? Можно, но лишь поднявшись на третью ступень лестницы и говоря на более высоком метаязыке, позволяющем высказывать утверждения об истинности или ложности утверждений всех языков более низких ступеней.

Каждая ступень лестницы является объектным языком по отношению к ступени, расположенной непосредственно над ней. Каждая ступень, за исключением самой нижней, является метаязыком по отношению к ступени, расположенной непосредственно под ней. Лестница простирается вверх сколь угодно далеко.

Примеры утверждений на языках первых четырех ступеней.

A. Сумма внутренних углов любого треугольника равна 180°.

B. Утверждение Аистинно.

C. Утверждение Вистинно.

D. Утверждение Систинно.

Язык на уровне Апозволяет формулировать теоремы о геометрических объектах. Геометрический текст, содержащий доказательства теорем, написан на метаязыке уровня В. Книги по теории доказательств написаны на языке уровня С. К счастью, математикам редко приходится подниматься выше уровня С.

Теоретическая нескончаемость, или бесконечность, лестницы в занимательной форме рассмотрена в статье Льюиса Кэрролла «Что черепаха сказала Ахиллу» [4] Кэрролл Л. История с узелками, — М.; Мир, 1973, с. 368–372.

Теория типов
Бесконечная иерархия аналогичная лестнице метаязыков позволяет избавиться от - фото 37

Бесконечная иерархия, аналогичная лестнице метаязыков, позволяет избавиться от теоретико-множественных парадоксов. Ни одно множество не может быть членом самого себя или любого множества более низкого типа. Брадобрей, астролог, робот и каталог просто не существуют.

Читать дальше
Тёмная тема

Шрифт:

Сбросить

Интервал:

Закладка:

Сделать

Похожие книги на «А ну-ка, догадайся!»

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


Отзывы о книге «А ну-ка, догадайся!»

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