?

Log in

No account? Create an account

Категория: наука

Правильное
sceptic
slobin

Мне всегда казалось, что с "одеть-надеть" граммар-нази морочат мне голову. Что в некоторых случаях правильно именно "одеть" (вещь на человека). Но понятно, что "пишите как хотите" -- это не альтернатива. Настоящие языки так не работают. Должно быть правило, закономерность. Нужно только её найти. И мне кажется, я нашёл.

Гипотеза: правильно говорить "одеть" (что-то на кого-то), если в результате этого действия человек становится одетым. Не обязательно "не голым", у этого слова есть значение "одетым сообразно текущей или ожидаемой социальной обстановке". "Наташа была одета для бала". А если нет, если факт надевания шмотки не меняет этого состояния человека, тогда, конечно, надеть.

На самом деле я это осознал уже пару (?) лет назад, и даже упомянул на каком-то форуме (меня там скорее поддержали), но потом забыл. А сегодня я, в процессе правки написанного ранее текста, попытался "по правилам" заменить "одеть" на "надеть", и понял, что не могу: если героиня это "наденет", она будет в этом как пугало. "Надетое" явно не составляет уместного в данной обстановке костюма. А "одетое" -- составляет.

Всё. Теперь я знаю ПРАВИЛО, и намерен продвигать его СИСТЕМАТИЧЕСКИ. Да, и ещё мне, пожалуйста, кофе. Среднего рода.

... Это неправильные молнии - они делают неправильный гром ...

Метки:

Философское - 2
sceptic
slobin

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

Без связи с предыдущим: с началом ЧМ-2018 меня (мой рюкзак) перестали проверять в метро. Напрашиваются две гипотезы: (1) низводить и курощать можно и нужно свой народ, а иностранных гостей нужно встречать человеческим лицом, (2) у них на самом деле есть эффективные методики выделения подозрительных, просто до начала ЧМ лишних прихватывали для тренировки. Гипотезы, кстати, не взаимоисключающие.

... Если б я был пророк, я сказал бы вам: будьте любимы ...

Метки:

Разное как всегда
sceptic
slobin

То, что мешает жить интровертам (общение в этом специфическом смысле), надо мерить в эрлангах. Можно вводить кучу весовых коэффициентов, но можно и не вводить, и считать просто по факту нахождения в одном помещении.

"У нас в проекте определена константа в которой хранится кол-во секунд в минуте" (башорг). Безумно раздражает такое словоупотребление: в константах не хранится, константы обозначают! Но я не упёртый функциональщик, в переменных всё-таки хранится.

Внезапно осознал, что Даль (который "словарь живого великорусского") и Дал (который Симула и структурное программирование) -- правда однофамильцы (то есть не как Брюс Ли и Софус Ли). И в википедии второго уже тоже с мягким знаком пишут. Но в выходных данных старых книг осталось без.

Тем, кому нравится теория "континентальных" и "морских" цивилизаций -- тут нашли диагностический признак. Если вы пьёте "чай" (chay, shay, chai) -- то вы континентальный, а если "tea" (thee, Tee, thé) -- то морской. Там же в дискуссии громят эту теорию в пух и в прах.

Оказывается, прилагательное "любовный" на Идо действительно будет "amorala" (от "amoro")! Я всегда воспринимал это как потенциальную шутку, но она, оказывается, очень даже кинетическая!

Ещё можно перепутать: фенологию и френологию.

Вчитался во фразу "всё вроде ничего". С трудом избежал просветления. (не моё)

... И показал длинный раздвоенный язык ...

Метки:

Математическое - 2
sceptic
slobin

Во вчерашней записи я коварно забыл показать, при каких именно значениях a и b этот полином выдаёт положительные значения, которые внезапно оказываются числами Фибоначчи. Оказывается, когда это происходит, значение полинома совпадает с а (выдаётся первый аргумент), и b при этом оказывается равным предыдущему числу Фибоначчи.

Ну и, если посмотреть на сам полином, видно, что a там выносится за скобки, а оставшаяся часть, получается, работает как фильтр: выдаёт единицу, если некое условие выполняется, и что-то меньшее единицы (ноль или отрицательное), если нет. Давайте я сразу уж перепишу наш полином в максимально "содержательном" виде, и заодно печать добавлю. Для проверки скобки можно раскрыть вручную, ну или вольфрам какой-нибудь попросить.

смотрим?Свернуть )

Итак, наш полином имеет вид "a умножить на что-то там", где "что-то там" работает как фильтр. Взглянув на это "что-то там" повнимательнее, видим, что оно имеет вид "два минус квадрат чего-то ещё". Здесь автор полинома творчески отступил от методички, которая рекомендует строить такой фильтр в виде 1-P2-Q2-R2..., который очевидно равен единице тогда и только тогда, когда все P, Q, R... равны нулю. Такой способ закодировать проверку условия. У нас в начале двойка, что теоретически могло бы испортить всю малину, если бы "что-то ещё" оказалось равным нулю.

Давайте уже выпишем это "что-то ещё" отдельно. Оно равно (a+b)(a-b)-ab. И нас интересуют случаи, когда оно равно 0 (плохо, малина портится), ±1 (тогда двойка минус квадрат равна единице, что и требовалось), и больше 1 по модулю (тогда двойка минус квадрат неположительна). Первого быть не может из соображений чётности (два нечета -- противоречие, чёт и нечет -- противоречие, два чёта -- делим всё пополам и задача сводится к предыдущей). Для нецелых чисел ноль получается, когда a/b равно золотому сечению, ну а числа Фибоначчи к нему достаточно близки, в чём, собственно, и вся фишка.

Осталось доказать, что (a+b)(a-b)-ab=±1 для чисел Фибоначчи, и не равно ±1 для остальных случаев. Первое тупо по индукции (начинаем с 1;1, дальше подставляем a+b;a на место a;b, видим, что +1 и -1 чередуются). Второе методом спуска ("индукция наоборот"): если это верно для a;b, то должно быть верно и для b;a-b, дальше смотрим на знак этого самого a-b: если положительный, то идём дальше, если ноль, то это могли быть только 1;1, если отрицательный -- противоречие. Всё, собственно. В смысле, QED.

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

P.S. А они там в Википедии не ходят по ссылкам, которые сами указывают? "наименьшее число переменных — 10 при степени около 1,6·1045" Вообще-то у Матиясевича по ссылке для 10 переменных степень снижена до 15905. Хотя, конечно, пятая степень в нашей задаче выглядит гораздо симпатичнее! ;-)

... Я иногда бываю страшным математиком ...

Метки:

Метод Каспаро-Карпова
sceptic
slobin
В общем известно (и даже в википедии написано), что ранний рассказ Стругацких "Забытый эксперимент" был написан по мотивам теории причинной механики Козырева, с которой Б.Стругацкий познакомился в Пулково. Менее известно, что не просто познакомился, но и вместе с коллегой занимался её проверкой методом точного измерения формы видимого диска Юпитера (теория предсказывала асимметрию, в пределах точности измерений не подтвердилось). Статья с этим результатом была подписана, соответственно, Б.Стругацким и Х.Поттером.

... Экселенц обожает абсолютную точность формулировок ...

Метки: ,

(без темы)
sceptic
slobin
Квантовые крестики-нолики

... Яичница - это божий дар ...

Метки:

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

... Не болтай глупостей - враг подслушивает! ...

Метки:

(без темы)
sceptic
slobin
Я, кажется, понял: чудо -- это не то, что противоречит законам природы. Работающий вечный двигатель -- это не чудо, это всего лишь очередная революция в физике. Чудо -- это когда нарушаются ненаучные теории. Те самые, которые нефальсифицируемые, которые по построению способны объяснить всё. Кажется, мне сейчас остро необходимо чудо.

то же самое, другими словамиСвернуть )

... Радужный свет разбивает стекло витражей ...

Метки:

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

... Был апрель, и в Париже, по берегам Сены, цвели каштаны ...

Метки: