Алиса в стране смекалки - Смаллиан Р.М.
Скачать (прямая ссылка):
Ше:Шу4 _Ьиблиотека_КОЛХОЗ/ко1хо3^5с05/М_МАТНЕМ/МРОР_РОР/16.511Ш1Мт (18о? 19)19.01.2004 16:56:35
"Как же называется эта книга?" - 16
определимых множеств А, В найдутся предложения X, Y, такие, что X истинно в том и только в том случае, если гёделев номер предложения Y принадлежит А, а Y истинно в том и только в том случае, если гёделев номер предложения X принадлежит В). Располагая дважды гёделевой системой, мы можем (используя условия Е1, Е2 и С построить два предложения X, Y, такие, что X будет содержать утверждение о доказуемости предложения Y (при этом я понимаю, что X истинно в том и только в том случае, если Y доказуемо), а Y будет содержать утверждение о недоказуемости предложения X. Одно из предложений (какое именно - не известно) X и У должно быть истинно, но недоказуемо. Можно поступить иначе и построить два предложения X, У, такие, что X будет содержать утверждение об опровержимости предложения У, а У будет содержать утверждение о неопровержимости предложения X. По крайней мере одно из предложений X, У (какое именно - не известно) должно быть ложно, но неопровержимо. Возможен я еще один вариант. Не используя даже условие С, можно построить два предложения X, У, такие, что X будет содержать утверждение о доказуемости У, а У - о неопровержимости X. Одно из них (какое именно - не известно) должно быть либо истинно, но недоказуемо, либо ложно, но неопровержимо (но каким именно набором из этих двух будет обладать предложение - не известно).
И последнее, о чем я хочу сказать вам, пока не забыл Как же называется эта книга? Эта книга так и называется "Как же называется эта книга?”
Наверх
Спонсирование и хостинг проекта осуществляет компания "Зенон Н.С.П
Ше:Шу4 _Ьиблиотека_КОЛХОЗ/коІхо3^Ізс05/М_МАТНЕМ/МРОР_РОР/16.5ІіїтІМт (19оґ 19)19.01.2004 16:56:35
"Принцесса или тигр?" содержание.
Рэймонд Смаллиан "Принцесса или
тигр?” содержание.
I Новости сайта
I Ссылки
I Архив рассылки
О сайте и его авторе
?
Выберите сложность головоломок: (Только для выделенных разделов)
;Ц Простые
К!Посложнее
Ш] Сложные
?
Выберите тип головоломок:
I Логические
I |Парадоксы
I Соответствия
I |Ряды
Головоломки и игры на Java Основанные на играх
Кубик Рубика
Головоломки с I рередвиганием
плиточек
I [Математические
I |Взвешивания
I [Вероятности
С рисунками
Связанные со
словами
Данетки
Рэймонд М. Смаллиан ПРИНЦЕССА ИЛИ ТИГР?
вас в руках новая ослепительная коллекция блестящих задач и парадоксов, предложенных одним из самых выдающихся логиков и специалистов по теории множеств, когда-либо работавших в этой области.
Как и во всех остальных книгах головоломок,
file:///G\/4 _Библиотека_ИОЛХОЗ/коІхо3^с05/М_МАТНЕМ/МРОР_РОР/со^е^л^тІМт (1 of3)19.01.2004 16:54:43
"Принцесса или тигр?" содержание.
С подвохом Юмор для умных людей
Программы для головоломщиков
Книги с головоломками:
Рэймонд Смаллиан: "Как
I называется эта
книга?"
"Принцесса или тигр"
"Алиса в I [стране
смекалки"
Мартин Гарднер: Избранные статьи А ну-ка, догадайся!
Владимир Белов * "'Близкая даль"
Льюис Кэррол: "История с узелками"
Евгений Гик I "'Шахматы и
математика"
?
написанных профессором Смаллианом, с помощью его фантазии вы попадаете в неведомую, почти ирреальную область современной математики, где расходящиеся во всех направлениях "гёделевы" коридоры направят вас к эффектным теоремам о свойствах истины и доказуемости.
Мартин Гарднер
Содержание:
Предисловие.
Часть 1. Принцесса или тигр?
1. Задачки с подвохом -старые и новые.
2. Принцесса или тигр?
3. Лечебница доктора Смолля и профессора Перро.
4. Инспектор Крейг в Трансильвании.
Часть 2. Головоломки и метаголоволомки.
5. Остров Вопрошаек.
6. Остров Сновидений.
7. Метаголоволомки.
Шв:Шу4 _Бuблuоmекa_КОЛХОЗ/kolxo3-disc05/M_MATHEM/MPOP_POP/content.shtml.htm (2of3)19.01.2004 16:54:43
"Принцесса или тигр?" содержание.
Наверх
Спонсирование и хостинг проекта осуществляет компания "Зенон Н.С.П."
Шв:Шу4 _Библиотека_КОЛХОЗ/kolxo3-disc05/M_MATHEM/MPOP_POP/content.shtml.htm (3of3)19.01.2004 16:54:43
"Принцесса или тигр?"- Предисловие.
Рэймонд Смаллиан "Принцесса или
тигр?” - Предисловие.
Леди Бланш
Предисловие.
Из множества занятных писем, присланных мне после выхода в свет моей первой книги логических головоломок (названия ее я никак не упомню!), одно принадлежало десятилетнему сыну довольно известного математика, с которым я в свое время учился в школе. В письме предлагалась весьма изящная и оригинальная задача, навеянная некоторыми задачками из моей книжки, которую мальчик прочитал взахлеб. Я сразу же позвонил отцу, решив поздравить его с таким умницей. Но тот, прежде чем позвать к телефону самого парнишку, стал заговорщически шептать в трубку: "Ему страшно нравится твоя книга! Но когда будешь с ним толковать, не проговорись, что эта штука называется математикой - в школе он ее просто ненавидит! Чуть заподозрит, что твоя книжка математическая, тут же забросит ее подальше".
Я вспомнил об этой истории потому, что она представляет собой иллюстрацию странного, но распространенного явления. Множество людей, с которыми я сталкивался, утверждали, что ненавидят математику, и в то же время с азартом накидывались на любую логическую или математическую задачу, которую я им подсовывал, стоило лишь облечь ее в форму занимательной головоломки. Я бы ничуть не удивился, если бы хорошие сборники головоломок оказались одним из лучших лекарств против так называемого "страха перед математикой". Более того, любой учебник математики вполне можно переписать в форме набора занимательных задач. Я иногда воображал, что бы произошло, если бы Евклид представил свои классические "Начала" именно в таком виде.
