Участь эмигранта

[posic]

Мое преподавание кому-либо в целом свете нужно только в Москве, насколько я могу об этом судить. Или было одно время нужно. Спрос этот неплатежеспособен: условия для моего пребывания в Москве он обеспечить не может. Мог до какого-то момента.

Моя математика кому-либо в целом свете нужна только в Чехии, насколько я могу об этом судить. Спрос этот частично платежеспособен: обеспечить меня средствами к существованию он может едва ли, но обеспечивает окупаемость поездок в Брно и Прагу на сколько-то там месяцев или недель в году.

Спрос на мое физическое выживание существует в Израиле. Он платежеспособен и действительно поддерживает мое существование на условиях, на которых я сам готов с ним, моим собственным существованием, мириться. То есть, обеспечивает меня рычагами давления на уровне "я помру -- вы расстроитесь", и разумно приемлемыми бытовыми условиями. Но сверх того, чтобы я был просто жив, я все-таки вряд ли зачем-либо нужен здесь.

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

Что ж, как условия жизни в эмиграции, это лучше, чем то, на что я мог рассчитывать весной 2014 года. Пресловутый мусор на пляже я не собираю и в обозримой перспективе мне этим заниматься не придется. А сверх того? Сверх того когда-нибудь тоже что-нибудь будет. Когда-нибудь, мои усилия принесут свои плоды. Когда-нибудь, мои идеи проложат себе дорогу. Когда-нибудь, кто-нибудь предложит мне что-нибудь. Когда-нибудь.

Comments

[chaource.livejournal.com]

А тебя будетъ устраивать, если ты будешь жить въ Израилѣ, писать статьи о чемъ хочется, а время отъ времени ѣздить въ разныя страны и дѣлать тамъ доклады? Или тебе важно, чтобы твои статьи публиковались въ болѣе престижныхъ журналахъ, и/или чтобы у тебя была работа?

Я, уйдя изъ академической науки, практически потерялъ интересъ къ публикацiямъ. Но интересъ къ изученiю новыхъ вещей остался.

[posic.livejournal.com]

Наверное, мне важно, чтобы когда я через 5 или 10 лет окончательно останусь без средств к существованию, в этом не было моей вины. В этом смысле, меня несколько смущает моя нынешняя ультрамаргинальная ниша постдока через 17 лет после Ph.D. То есть, она дает передышку на год, может быть, даже на 2-3 года, но потом все равно придется что-то решать.

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

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

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

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

Идею уйти из академии я тоже рассматриваю, но это получается очередная ступенька на общем пути ухода, к которому меня всегда так тянет. "Злые вы, уйду я от вас." Уйти с работы, покинуть родной город. Уйти из любимой профессии. Уйти в какую-то совершенно другую, новую жизнь. Или в смерть, если другая жизнь окажется невозможной. Как получится.

Зато можно продемонстрировать городу и миру, что не ради теньюра и обеспеченной старости я отдал лучшую часть своей жизни математике. Это очень привлекательно.

[chaource.livejournal.com]

Думаю, ты не останешься безъ средствъ къ существованiю. Изучи языкъ программированiя Haskell и будешь на вѣсъ золота.

[posic.livejournal.com]

Неужели в реальном мире кто-то пишет программные продукты на Хаскеле?

[chaource.livejournal.com]

Есть такiя (но не очень много). И программистовъ ищутъ днемъ съ огнемъ. И въ Израилѣ есть программисты на Haskell.

[posic.livejournal.com]

А что это за программы, что на Хаскеле пишутся?

[chaource.livejournal.com]

А все подрядъ. Вотъ напримѣръ.
https://www.wagonhq.com/blog/first-two-weeks-haskell-wagon
https://www.fpcomplete.com/

Вотъ ихъ тусовки
http://www.meetup.com/Haskell-Israel-Meetup/

Вотъ списки
https://www.quora.com/What-companies-have-built-an-entire-product-in-Haskell
https://jobsil.wordpress.com/tag/haskell/
https://www.quora.com/Who-uses-Haskell-in-Israel-Why

[chaource.livejournal.com]

Дѣло въ томъ, что изучить Хаскель для математика гораздо легче, чѣмъ для обычнаго человѣка. Теорiю категорiй ты уже знаешь достаточно. :) Поэтому здѣсь у математика (даже у такого слабаго, какъ я) есть реально неиллюзорное конкурентное преимущество. Языкъ Scala чѣмъ-то похожъ, но Хаскель строго математическiй языкъ.

[posic.livejournal.com]

А на каком языке (или на каких языках) ты программируешь?

[chaource.livejournal.com]

Scala, Unix shell, Python, но я хотѣлъ бы этого избѣжать и пользоваться либо Scala, либо Haskell. Раньше я еще работалъ на Java и Javascript, но этого кошмара больше нѣтъ. Сейчасъ я буду заниматься machine learning. Для этого обычно используютъ Python, R, Matlab. Но я въ командѣ, которая используетъ Scala. Этотъ языкъ достаточно похожъ на Haskell и одновременно на Java. Наиболѣе инновацiонные компанiи используютъ Scala и Haskell сегодня.

Но изучать надо первымъ дѣломъ именно Haskell. Этотъ языкъ больше всего подходитъ для рекурсивныхъ алгоритмовъ на рекурсивныхъ структурахъ данныхъ (напр. деревьяхъ). На немъ пишутъ компиляторы для маленькихъ спецiализированныхъ языковъ, а также особо сложные рекурсивные алгоритмы.

[posic.livejournal.com]

Но ведь людей с математическим образованием, знающих (или способных быстро выучить) основы теории категорий, довольно много. Если дело обстоит, как ты описываешь, многие из них сейчас ломанутся в программисты на Хаскеле и Скале. Неужели рынку нужно столько таких программистов?

[chaource.livejournal.com]

Я сужу потому, что работаю въ средѣ людей, для большинства которыхъ любая математизированная теорiя (type theory, category theory, formal logic) слишкомъ сложна. Всѣ тѣ, для кого это доступно и интересно, ходятъ на три митапа - Haskell User's Group, SF Theorems and Types, and Bay Area Category Theory. Этихъ людей можно перечислить по пальцамъ. (Всѣ они бѣлые американцы, за рѣдкими исключенiями, кстати. А въ моей теперешней компанiи примерно треть китайцевъ и треть индусовъ.)

Куда идутъ безработные математики и физики - въ основномъ на data science in python. Что является, съ технической точки зрѣнiя, большой ошибкой, потому что python плохой языкъ (позволяетъ очень легко дѣлать ошибки, послѣ чего долго надо все отлаживать).

[meshulash.livejournal.com]

Совершенно не понимаю, в чем разница между Haskell и грамотным программированием на C++ (включая templates). Кстати, он-лайн проверка типов, на мой взгляд, есть дурной вкус.

[meshulash.livejournal.com]

Ваша математика, как мне кажется, интересна не как математика, которая может помочь кому-то решить какие-то задачи (это всвязи с одним из предыдущих Ваших постов и ответов к нему), а как... ээ... ну как поэзия Бродкого или проза Пруста. Как нечто, задающее уровень. Вы не можете претендовать на преподавание, потому, что студентам до этой планки не дотянуться. Я не понимаю ни слова из того, что Вы делаете, но я понимаю, что без того, что Вы делаете, мои дела бессмысленны. Приложимы, полезны, понятны, но бессмысленны.

В Израиле, на мой взгляд, есть два места, где это может быть осознано - Институт Вайцмана и Еврейский Университет. Если у Вас есть возможность быть постдоком где-то без особых обязательств и возможностью заниматься своим делом - да будет так. Я бы на такую позицию со своей нынешей ушел бы немедленно и не раздумывая, есть масса идей, которые хочется реализовать пока есть силы и мозги. И, конечно, никто Вас на доклад не пригласит пока Вы сами не предложите.

Насчет программирования, будь то Haskell или еще что-то - на мой взгляд, это ерунда (да простит меня уважаемый chaource). Через полгода там все станет очевидно, через год - тривиально, а еще через полгода захочется умереть от бессмысленности времяпровождения. Я там был, и благодарен программированию за понимание, насколько это неправильное дело.

[chaource.livejournal.com]

Показательно, что Вы не видите разницы мѣжду Haskell и C++ и не хотите использовать теорiю типовъ. Мнѣ кажется, это значитъ, вы пропустили самое основное, что появилось въ послѣднiе 20 лѣтъ новаго и что уже сегодня входитъ въ индустрiю программированiя - а именно, математизацiю этой области. Программированiе на С++ есть безсмысленное времяпрепровожденiе, я тоже такъ думаю. А Haskell и теорiя типовъ сейчасъ находится въ режимѣ развитiя, каждый годъ появляется новое небольшое открытiе, условно говоря, въ теорiи программированiя. Это математика.

Даже Секта поклонниковъ Воеводскаго имѣетъ своихъ послѣдователей среди программистовъ, потому что предлагаетъ новую и неожиданную теорiю типовъ, на основѣ которой можно, въ принципѣ, создавать совершенно новые парадигмы программированIя. Правда, это еще не перешло въ практику. А теорIя категорiй, интуицiонистская теорiя типовъ и различнаго рода формальная логика - перешли.

[chaource.livejournal.com]

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

[posic.livejournal.com]

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