xaxam: (Default)
[personal profile] xaxam

Математика и жизнь

Горячее обсуждение предыдущей публикации "ХВ" продемонстрировало интерес наших читателей к популяризации математики.

Идя на поводу у общественного мнения, редакция продолжает ковать железо, обнаруженное нашим постоянным читателем Е.М. Предлагаем вашему вниманию статью на животрепещущую тему: "Количество однополых браков в абсолютно бисексуальной общине асимптотически нормально". Автор - Шалош Б. Эхад, - довольно известный специалист в области комбинаторики (23 публикации, 49 цитирований с 1989 г.), не без странностей. Во-первых, он известен своей железной логикой и абсолютной безошибочностью. Во-вторых, он никогда не покидает своего оффиса в Ратгерсе, который вот уже много лет он делит с своим научным руководителем, проф. Дороном Зайльбергером.

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

Но главное, - не важно, строго или расслабленно обоснованный, вывод статьи очень оптимистический, что следует прямо из названия. В асимптотическом пределе всё будет нормально, даже если все станут совершенно бисексуальными.

Date: 2011-06-29 07:24 am (UTC)
From: [identity profile] nebotticelli-xl.livejournal.com
Я иногда посылаю по асимптоте (горизонтальной - мы ж не звери), зная, что все равно придут, куда надо.

Date: 2011-06-29 07:35 am (UTC)
From: [identity profile] ionial.livejournal.com
это не честно давать пруфлинки на закрытые сайты :-(

Date: 2011-06-30 05:18 pm (UTC)
From: [identity profile] xaxam.livejournal.com
Я немного ниже попытался исправиться и послал к Гугль-школяру.

Но вообще это беда. MathSciNet - единственная база данных, которая проходит через человеческие руки, в результате чего статьи разных Смитов и разных Шапиро не сваливаются в одну кучу, а довольно надёжно распределяются по авторам. На обнаруженные ошибки идентификации есть кому пожаловаться, и их исправляют (даже тогда, скажем, когда сам автор статьи ошибся в инициалах при цитировании и тем самым приписал статью другому Шапире). Кроме того, в этой базе объединяются (в смысле ссылок) препринты в АрХиве и последующие журнальные публикации, что делает обратный поиск осмысленным, а подсчёт цитирований (бессмысленный, вообще говоря) по крайней мере физически правильным (неискажённым).

И вот оказывается, что всё это сокровище недоступно тем, чьи работодатели не готовы платить ежегодно примерно 7 килобаксов за подписку на этот венец человеческой деятельности.

Обидно, но искусство требует жертв, а работа требует оплаты. Я б на демонстрацию вышел, если что, чтоб цену подписки уменьшить, а с индивидуалов вообще брать символическую сотню баксов в год (мы-то пишем рефераты для них практически бесплатно), но никто ж жопу от компьютера не оторвёт...

Date: 2011-06-30 07:22 pm (UTC)
From: [identity profile] ionial.livejournal.com
Я понял.
Удивительно, что академическая наука, с одной стороны так старательно плоды свои прячет за платные ширмы, что это ваш ски-нет, что сайты журналов, где невозможно взять статью не заплатив 30 баксов, а с другой стороны, все эти "академики" так старательно рассказывают, что общество должно раскошеливаться, потому что они, дескать, делают науку на его благо.

При этом, просто интересующемуся человеку все эти плоды доступны очень условно, с опозданием лет на пять.

Date: 2011-06-29 07:50 am (UTC)
From: [identity profile] potap.livejournal.com
По-моему, Эхад - это псевдоним Дорона. Такое мнение у меня сложилось при чтении их текстов и во время краткой переписки лет 15 назад.

Date: 2011-06-29 08:46 am (UTC)
From: [identity profile] don-alesandro.livejournal.com
Если они сидят в одном кабинете, то это скорее нормально.
У девушек которые снимают одну квартиру синхронизируются циклы, а у учёных синхронизируются статьи.

Date: 2011-06-30 04:30 pm (UTC)
From: [identity profile] potap.livejournal.com
Нет его. См. ниже подтверждение моей гипотезы.

Date: 2011-06-29 10:19 am (UTC)
From: [identity profile] xaxam.livejournal.com
Это компьютерная программа для доказательства комбинаторных и разных других тождеств. Шалош бе-эхад на иврите - Три В. Одном...

Дорон - шутняга, который, как я подозреваю, наплодил среди своих авторов немало виртуалов, хотя порой попадаются и живые люди.

Вот, например, человек, который сначала публиковался как Мохамед Мухамад, а потом перекрестился в Моа Апагоду (http://www.ams.org/mathscinet/search/author.html?mrauthid=773384) (subscr. req'd.). Глядя на его труды, я заподозрил было, что он тоже из битов и силикона, а оказалось - живой человек (http://www.math.vcu.edu/2011moa.html). В качестве бонуса узнал о существовании Virginia Commonwealth University (http://www.vcu.edu/), обладающего своим департаментом математики.

Конечно, может, Дорон их всех тоже придумал, и не поленился наваять целый университетский сайт хохмы ради.

Шутняга, одно слово.

Date: 2011-06-29 11:54 am (UTC)
From: [identity profile] cadadr.livejournal.com
Скорее компьютер (http://www.math.rutgers.edu/~zeilberg/ekhad/shalosh.gif). Про "Shalosh B. Ekhad" я почему-то думал, что это шутка насчет маркировки процессоров (Pentium, Pentium II, Pentium III), или вроде того.

А я подумал о Раушенбахе

Date: 2011-06-29 06:51 pm (UTC)
From: [identity profile] arosha.livejournal.com
"три-в-одном" - это основа христианства, "три-на-десять" - основа израильской рыночной экономики.
http://samlib.ru/s/skosarx_wjacheslaw_jurxewich/obodnojmatematicheskojanalogiipreswjatojtroicy.shtml

Re: А я подумал о Раушенбахе

Date: 2011-06-30 06:18 am (UTC)
From: [identity profile] xaxam.livejournal.com
Всё-таки Раушенбах был много умнее своих толкователей. Его искусствоведческие работы использовали математические аналогии на риторическом уровне, но ту откровенную херню, которую за него разные скосари скосят, он не мог написать.

Re: Это таки компьютер

Date: 2011-06-29 07:03 pm (UTC)
From: [identity profile] cadadr.livejournal.com
Спасибо, это всё объясняет.

Re: Это таки компьютер

Date: 2011-06-30 06:14 am (UTC)
From: [identity profile] xaxam.livejournal.com
Это объясняет происхождение имени, но по сути Дорон прославился тем, что придумал алгоритмы доказательства различных тождеств (http://scholar.google.com/scholar?q=zeilberger&hl=en&btnG=Search&as_sdt=1%2C5&as_sdtp=on), связывающих специальные функции, их коэффициенты, разного рода комбинаторные соотношения и т.д. и т.п. Будучи хохмачом по натуре, он взял когда-то в соавторы свой компьютер, но со временем из физического лица Шалош Б. Эхад превратился в юридическое лицо и стал писать статьи с другими соавторами (подразумевался не физический факт сидения за данным терминалом, а использование библиотеки алгоритмов). Последний соавтор Дорона записан в ЗАГСе (MathSciNet) под именем Shalosh B. Ekhad, XIV.

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

Видимо, из-за этого Зайльбергер из хохмача и оригинала превратился в желчного и раздражённого человека с довольно агрессивным публичным поведением (в личном общении вполне мягкий и почти нормальный человек). Желающие могут посмотреть раздел Opinions на его home page в Ратгерсе...

Re: Это таки компьютер

Date: 2011-06-30 07:30 pm (UTC)
From: [identity profile] ionial.livejournal.com
А насколько далеко подобное использование компьютера от вашей области?

Re: Это таки компьютер

Date: 2011-07-01 06:18 am (UTC)
From: [identity profile] xaxam.livejournal.com
Всяко бывает. Скажем, приходилось проверять, что некоторый идеал, порождённый тремя полиномами в кольце полиномов от 6 переменных, радикальный. Не видно никаких причин, почему бы ему оказаться нерадикальным, но это ведь не аргумент. Руками проделывать подобные вычисления невероятно муторно, шансов посадить ошибку гораздо больше (у меня диснумерия, - я с трудом могу раскрыть скобки при умножении ;-) а высокого смысла не будет вроде бы никакого. С другой стороны, есть стандартные пакеты, типа CoCoA, которые ровно это заточены делать. Отчего бы не?

С другой стороны, когда-то давным давно, в эпоху перфокарт и АЦПУ, мне нужно было доказать, что некий контурный интеграл больше либо равен единице по абсолютной величине. Я решил посчитать его численно, накатал програмку на ФОРТРАНЕ строчек на 200 (никакой комплексной арифметики встроено не было, пришлось всё делать руками), и две ночи "отлаживал" её, сражаясь с ошибками перфорации и т.п. (каждый run требовал около получаса, с учётом перебивки карт, очереди пользователей перед card-reader-ом, зажёвов и отплёвов...). После отладки получил число примерно 1.2, выпил шампанского пива и решил увеличить точность для гарантии. Вышло что-то типа 0.98, а потом меня погнали с ЭВМ за то, что программа считала более дозволенных 5 минут.

Через пару месяцев я-таки вычислил этот интеграл, оказался он равным i, а я оказался идиотом и долго ещё писал черновики на "оборотках" (обратная сторона распечаток).

Такие дела.

Date: 2011-06-29 08:27 am (UTC)
From: [identity profile] levimem.livejournal.com
Странный ответ. Как нетрудно догадаться, если число мальчиков и девочек равно и есть N, то вероятность того, что в выборке по парам окажется ровно один мальчик равно N/(2N-1), и тем самым распределение будет биноминальным.

Date: 2011-06-29 11:23 pm (UTC)
From: (Anonymous)
исходники
-----

и где тут сумаша?

Date: 2011-07-01 01:37 pm (UTC)
From: [identity profile] dimpas.livejournal.com
http://www.math.rutgers.edu/~zeilberg/Opinion117.html

Re: и где тут сумаша?

Date: 2011-07-01 01:56 pm (UTC)
From: [identity profile] xaxam.livejournal.com
Для начала сама идея grant proposal'a в математике - изрядная бессмыслица. Я могу описать несколько тем, на которые я размышляю, и перечислить несколько задач, которые я надеюсь решить, если повезёт. Никаких сроков, разумеется, я указывать не смогу, без чего пропозал не пропозал.

Да и вообще, если писать, как предлагает Дорон, обзорную статью по "своей" узкой области, раз в пять лет, сам посуди, какая туфта получится.

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

Re: и где тут сумаша?

Date: 2011-07-01 02:07 pm (UTC)
From: [identity profile] dimpas.livejournal.com
про то, что бессмыссленности вокруг полно, никто не сомневается, но идея, что пропозалы, под которые дали денег, должны быть паблик, здравая по самое немогу.

Re: и где тут сумаша?

Date: 2011-07-01 02:59 pm (UTC)
From: [identity profile] xaxam.livejournal.com
Не уверен, именно по перечисленным причинам. Типичный вариант: ты получил грант, а в конце концов сделал что-то совершенно не то, что заявлено было. Твой конкурент, не получивший грант, по истечении срока говорит: Тойиди Нидо совершил подлог. Ему общество дало денег под верхние оценки, а он вместо этого нижние доказал. Неважно, что это может быть сложнее и важнее, чем заявленные вещи - налицо нарушение плановой дисциплины, и именно такой донос твой конкурент накатает грантодателю. Который ни бельмеса не понимает, кроме того, что получился скандал, и критик формально прав.

А так все пропозалы пылятся в архиве, и проверяющие инстанции интересуются понятными им показателями: сколько статей опубликовано, сколько диссертаций защищено, - в общем, чтоб не было неожиданностей.

Подчеркну: сказанное относится только к математике. В науках, требующих дорогого оборудования и многочисленных рук, никогда такого не бывает. Результаты измерений могут подтверждать твою теорию или опровергать её, но сделано будет именно то, что указано в заявке.

Re: и где тут сумаша?

Date: 2011-07-01 03:07 pm (UTC)
From: [identity profile] dimpas.livejournal.com
ну, так грантодатель, в твоей модели, и доноса не поймет, тоже, поэтому я не вижу, в чем тут дело.

да и в экспериментальных науках такое бывает сплoшь и рядом, когда делают совсем не то, что заявляли - например, в Церне разработали www, a в JPL разработали perl...

Re: и где тут сумаша?

Date: 2011-07-01 03:17 pm (UTC)
From: [identity profile] xaxam.livejournal.com
Доноса не поймёт, но увидит разницу между "верхним" и "нижним", и этого достаточно.

Конечно, можно собрать комиссию, запросить мнение экспертов, они подтвердят, что-де "Вас обманули! Это шанхайский барс!". Но неприятный осадок останется.

Don't fix it if it ain't broken. Если человек занимается хорошим делом и продолжает получать гранты, кому плохо? Если человек занимается хернёй и продолжает получать гранты, что изменится, если его пропозал будет публичным?

Это ж не одноразовая акция, а повторяющаяся игра, и временной лаг в 3-4 года мало что означает.

Re: и где тут сумаша?

Date: 2011-07-01 03:32 pm (UTC)
From: [identity profile] dimpas.livejournal.com
RTFA!
как DZ пишет, американские проплаченные NSF пропозалы de facto публичные, и их можно почитать, применив соотв. закон. То есть написать донос можно и по текущим правилам.

Вопрос в том, почему бы не убрать этот вполне преодолимый барьер.

Нупубличность пропозалов культивирует мафиозность. Не увидив, как такие пропозалы писать, сам не напишешь как надо...

Re: и где тут сумаша?

Date: 2011-07-01 03:34 pm (UTC)
From: [identity profile] dimpas.livejournal.com
Это ж не одноразовая акция, а повторяющаяся игра, и временной лаг в 3-4 года мало что означает.

Xa! Может, у вас в Хеломе и не значит, а в штатах во многих местах для получения tenure надо принести в зубах грант....

Profile

xaxam: (Default)
xaxam

January 2026

S M T W T F S
     1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 222324
25262728293031

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 22nd, 2026 04:59 pm
Powered by Dreamwidth Studios