(no subject)

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

Как меня бесит это ощущение, что чего-то сделать нужно. С удовольствием бы немедленно послал протоколы в жопу и читал умные книжки дальше, и программил в оставшееся время.

Из цикла "Так выпьем же за то..."

Лет в 12 я впервые услышал о "недоказуемых" штуковинах в математике, и тут же спросил у мамы: "Как это"? Она сказала, что можно просто доказать, что что-то недоказуемо.
Это звучало, как мистика. Как какая-то каббала! Это же надо как-то превратить такие казалось бы свободные, говоримые человеком человеку "доказательства" в числа и что-то с ними сделать. Казалось, мысли — штука невероятно сложная. Как их формализовать? Чтобы в них разобраться, нужно, наверное, понять, как работает текст, то есть, понять все тонкости, скажем, русского языка?
Почему потребовались годы, чтобы самому разобраться, что натуральный язык состоит из одних излишеств, и что любую фактологическую информацию легко выразить RDF-графом с соответствующим OWL-словарём? Причём, перевод на этот язык занимает три минуты и не требует умственного напряжения. Почему мне этого никто не показал в школе, в том же 5 или 6 классе, в котором эти мысли меня терзали? Что доказательство — простая цепочка (вернее дерево), в которой по-сути всего три вида элементов. Что машинерия доказательств — это не чёрный ящик с каббалистическим содержимым, а шестерёночный арифмометр, который один раз разобрать — и всё ясно. И сразу становится понятно, что теоремы о недоказуемости или там неопределимости, по типу то же самое, что доказательства невозможности определённых ситуаций в преферансе — просто разобраться в правилах игры/работе арифмометра и показать, что никак не получится.

Я знаю, если бы мне всё рассказали ещё в пятом классе, я бы не испытал десятков ментальных оргазмов, догадываясь до всего сам, и читая умные книжки. Однако, может быть если бы это рассказывали, вокруг меня были бы ещё люди, которые это понимают. А то, очень обидно, что врубившихся — единицы. Даже среди моего круга знакомых, на 80% состоящего из программистов, математиков и физиков.

Когда я в следующий раз буду чего-нибудь выпивать, я в первую очередь выпью за то, чтобы всем учителям математики неприменно преподавали основы логики c теорией доказательств, теорию моделей и теорию Галуа. Причём, преподавали хорошо, наглядно и на пальцах. Не как для будущих учёных, а для будущих учителей. :-)

(no subject)

Как-то в славном граде Мюнхене зашли мы с Алей в мажорный кабак™ и стали думать, чего там есть. Я заказал салату Цезарь, а Аля решила взять суши (точнее, роллы). И стала Аля вопрошать, зачем же людям дают столько васаби. А я, как человек, который смело запихивает в соевый соус столько васаби, сколько дают, решил помочь бедной девушке. И что же я имею вам сказать?
Салат Цезарь обретает совершенно новый смысл, если в него положить полложки васаби!

Да и что такое это их японское васаби, когда есть Православный Русский Хрен™, коего я съедаю Ядрёну Банку™ ежемесячно, ибо нет высшего удовольствия для мужчины, чем съесть немножечко мягкой вкусной соленоватой белой массы, от которой из глаз вышибается скупая мужская слеза, а волосы встают дыбом даже в носу.

"А теперь Иван Арнольдович, мгновенно вот эту штучку. Если Вы мне скажете, что это плохо — Вы мой кровный враг на всю жизнь." (q) Профессор Преображенский доктору Борменталю.