Научная литература
booksshare.net -> Добавить материал -> Математика -> Смаллиан Р.М. -> "Алиса в стране смекалки " -> 82

Алиса в стране смекалки - Смаллиан Р.М.

Смаллиан Р.М. Алиса в стране смекалки — Мир , 2004. — 342 c.
Скачать (прямая ссылка): alisavstranesmekalki2004.pdf
Предыдущая << 1 .. 76 77 78 79 80 81 < 82 > 83 84 85 86 87 88 .. 112 >> Следующая

джентльмены! Вы находитесь на борту первого в мире полностью автоматизированного самолета. Его ведут не пилоты, которым, как и всем людям, свойственно ошибаться, а совершенные автоматы, не знающие, что такое ошибка. Они позаботятся о ваших удобствах и безопасности. Вам не о чем беспокоиться, беспокоиться, беспокоиться, беспокоиться... ”
237. Вежливый компьютер.
Из всех историй об ЭВМ мне больше всего нравится история об одном компьютере, имевшем отношение к запуску космического корабля на Луну. В компьютер ввели два вопроса: 1) достигнет ли корабль Луны? 2) вернется ли корабль на Землю? - и после небольшой паузы получили ответ: ”Да”. Однако понять, что, собственно, означает это ”да” (следует ли его считать ответом на первый вопрос, на второй вопрос или на конъюнкцию первого и второго вопросов), было невозможно. Поэтому в компьютер ввели третий вопрос: ”Что да?” Компьютер, помедлив, ответил
Ше:Шу4 _Библиотека_КОЛХОЗ/коІхо3-{ІІ5с05/М_МАШМ/МРОР_РОРЛ3.5МтШт (16оґ 17)19.01.2004 16:56:30
"Как же называется эта книга?" - 13
вежливо: "Да, сэр".
Наверх
Спонсирование и хостинг проекта осуществляет компания "Зенон Н.С.П."
Ше:Шу4 _Библиотека_КОЛХОЗ/ко1хо3-{И5с05/М_МАШМ/МРОР_РОРЛ3.5МтШт (17о? 17)19.01.2004 16:56:30
"Какже называется эта книга?" -14
Рэймонд Смаллиан "Как же называется
эта книга?" - 14
Как доказать что угодно
Существует, как мне кажется, довольно точное определение пьяного математика: пьяным называется математик, утверждающий, будто он может доказать что угодно!
В платоновском диалоге "Евтидем" Сократ, расхваливая непостижимое умение братьев-софистов Евтидема и Дионисидора вести спор, говорит: "Столь велико их искусство, что они могут опровергнуть любое утверждение, будь оно истинно или ложно". Далее Сократ описывает в диалоге, как Дионисидор доказывает одному из собеседников по имени Ктессип, что отец Ктессипа - пес.
Дионисидор. Скажи, есть ли у тебя пес?
Ктессип. Да, и, должен признаться, препаршивый. Дионисидор. А нет ли у него щенков?
Ктессип. Как не быть! И все они похожи на него. Дионпсидор. И твой пес - их отец?
Ктессип. Да, я видел своими глазами, как он покрыл мать щенков.
Дионисидор. И этот пес твой?
Ктессип. Вне всякого сомнения.
Дионисидор. Итак, он отец и он твой. Следовательно, он твой отец, а щенки доводятся тебе братьями.
Вдохновленный примером великих софистов я докажу вам в этой главе много странного и удивительного.
ДОКАЗАТЕЛЬСТВА ВСЯКОЙ ВСЯЧИНЫ
238. Доказательство того, что либо Траляля, либо Труляля
Ше:Шу4 _Библиотека_КОЛХОЗ/Ыхо3^зс05/М_МАТНЕМ/МРОР_РОР/14.5МтШт (1 оБ 13)19.01.2004 16:56:31
"Как же называется эта книга?" - 14
существует.
Из этого доказательства не следует, что Траляля и Труляля существуют оба. Я докажу лишь, что по крайней мере один из них существует. Кто именно из двух братцев существует, останется для нас неизвестным.
Представьте себе, что перед нами лист бумаги с тремя утверждениями:
1) Траляля не существует.
2) Труляля не существует.
3) По крайней мере одно из утверждений на этом листе ложно.
Рассмотрим утверждение (3). Если оно ложно, то не
верно, что по крайней мере одно из трех утверждений ложно. Значит, все три утверждения истинны. В частности, истинно утверждение (3), и мы пришли бы к противоречию. Следовательно, утверждение (3) не может быть ложно.
Значит, оно должно быть истинно. Отсюда мы заключаем, что по крайней мере одно из трех утверждений в действительности ложно. Но утверждение (3) не может быть ложным. Следовательно, ложно либо утверждение (1), либо утверждение (2). Если ложно утверждение (1), то существует Траляля.
Если ложно утверждение (2), то существует Труляля. Следовательно, либо Траляля, либо Труляля существует.
Однажды я выступал с лекцией о своих логических задачах-головоломках в студенческом математическом клубе. Собравшимся меня представил логик Мелвин Фиттинг (мой бывший студент, который хорошо знал меня). Его краткая речь великолепно отразила дух этой книги. Он сказал: "Я имею честь представить вам профессора Смаллиана, который докажет вам, что либо он не существует, либо вы не существуете, но кто именно не существует, вам не известно".
239. Доказательство того, что Трулюлю существует.
Представьте, что перед нами лист бумаги с двумя утверждениями:
1) Трулюлю существует.
2) Оба утверждения на этом листе ложны.
Рассмотрим сначала утверждение (1). Если бы оно было истинно, то оба утверждения были бы ложны. В частности,
Ше:Шу4 _Библиотека_КОЛХОЗ/Ыхо3^зс05/М_МАТНЕМ/МРОР_РОР/14.5МтШт (2о? 13)19.01.2004 16:56:31
"Какже называется эта книга?" -14
было бы ложно утверждение (2), и мы пришли бы к противоречию. Следовательно, утверждение (2) ложно.
Значит, не верно, что оба утверждения ложны, поэтому по крайней мере одно из них истинно. Так как утверждение (2) не истинно, то истинно должно быть утверждение (1). Следовательно, Трулюлю существует.
240. Существует ли Дед Мороз?
Должен сказать, что существование Деда Мороза многие подвергают сомнению. Несмотря на скептицизм, столь распространенный в наше время, я приведу три доказательства, не оставляющих ни малейшего сомнения в том, что Дед Мороз существует и должен существовать. Все три доказательства являются вариантами метода, заимствованного мною у Дж. Баркли Россера. Этот метод позволяет доказать что угодно.
Предыдущая << 1 .. 76 77 78 79 80 81 < 82 > 83 84 85 86 87 88 .. 112 >> Следующая

Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed