Длинная страшная сказка

[katrin_elinor]

Да вот беда: сойди с ума,
И страшен будешь как чума,
 Как раз тебя запрут,
Посадят на цепь дурака
И сквозь решётку как зверка
 Дразнить тебя придут.
А. С. Пушкин
Сестра привезла из Америки книжку "Logicomix: An Epic Search for Truth". После слова epic обычно следует, ну сами знаете, какое слово :-( Впрочем, на вопрос, стоит ли считать историю о

Comments

[undamaris]

[katrin_elinor]

"Бертрана Рассела можно описать одним-единственным способом, а именно - сказав, что он вылитый Болванщик…" Норберт Винер :-)

[undamaris]

Бинго :)
Нет, на самом деле проще признать себя психом (что в моём случае так и есть), чем всю жизнь бояться спятить.
А парадокс брадобрея моему неподготовленному уму попался в 7 классе, когда я, пытаясь полюбить математику, ходила в кружок к другой учительнице оной (потому что от Чумки-Бумки можно было только хотеть сдохнуть путём выпрыгивания из окна её кабинета - чего я время от времени желала то ей, то себе). В кружок ходили полтора землекопа; в общем-то, весь он для меня сводился к тому, что мне давали читать книги про всякую ТРИЗню и проч. Там мне и попалась книга из серии "Введение в матлогику для юного математика", где в качестве несложного упражнения этим самым пионэрам предлагалось разрешить задачку про брадобрея. Блин, так у меня мозги не скрипели, наверно, никогда. В общем, автор, ИМХО, был неправ, пытаясь потроллить читателя - кто-нибудь особо впечатлительный мог и спятить, как тот учитель географии, не нашедший на карте Берингова пролива :)

[katrin_elinor]

У нас в школке пародокс лжеца рассказывали на информатике, но так как он не был ни к чему привязан, то воспринимался, как какая-то унылая, как бы занимательная, фигня из серии задачек на сообразительность: "Летел по небу крокодил с молотком, сколько весит тетя Таня?"
То ли дело, когда на первом курсе рассказали об алгоритмической неразрешимости задачи останова. Там машина Тьюринга была, которой на вход саму себя подавали. Вот это вещь! Я выйдя с лекции еще несколько раз воспроизвела мысленно это построение и всякий раз думала: "Хорошо-то как!"

[janatem]

Меня тоже в свое время напугало заглядывание в бездну оснований математики. Дело усугубилось тем, что я для какого-то гуманитарного предмета выбрал тему реферата про Кантора и в связи с этим прочитал пару статей его и про него. Решил, что буду спокойно заниматься своим матаном, а основания математики пусть изучают смелые и сильные духом. В конце концов, что с того, что здание математики окажется висящем в пустоте? Главное, чтобы внутри было уютно.

[katrin_elinor]

В банаховом пространстве очень уютно =)))

[mario_gutierrez]

а на русском языке оно есть?

[katrin_elinor]

Вроде как собираются издать: http://careerpress.ru/book/logikomiks/

[mario_gutierrez]

как издадут - куплю)

[katrin_elinor]

Книгу издали на русском. Только качество печати гораздо хуже, чем в оригинальном варианте =(

[sozdam_sustain]

Книгу не читал, но скажу (люблю порассуждать о том, в чем толком не смыслю:) Интересно, насколько прочно фундаментальные основания математики связаны с логикой человеческого разума? Может быть объективно их прояснить может только разум нечеловеческий - искусственный интеллект или инопланетный негуманоидный разум?

[katrin_elinor]

Ох, Вы меня растеряли своими вопросами =)))

[sozdam_sustain]

А я думал, я один такой растерянный со своими наивными вопросами... Растерялся сам - растеряй товарища, как-то так =)