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

забавно что (кажется) как-только он стал участвовать в околоматематических трепах в жж, хронологически это место когда он перестал публиковать какие-либо работы.

в 2006 году бля венгерская математика, в 2013 бл венгерская математик. кому она всралась вообще.

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

(Reply to this) (Thread)

Ну вот, анон сдал Сову. Теперь я знаю кто это.

(Reply to this) (Parent)

Его переизбрание Обамы, наверно, вконец подкосило

(Reply to this) (Parent)

Редко бывает так, что математики продуктивно работают до глубокой старости
(примечательные исключения, вроде Гельфанда, встречаются не часто).

В принципе, дискуссии о «венгерской математике» до сих пор в англоязычной
среде особо не практиковались (односторонние эссе, вроде тех же «Двух культур» Гауэрса, не в счёт),
так что в принципе плохого в этом ничего нет.

Надеюсь, в будущем нас ожидает статья на эту тему статья в Notices.

(Reply to this) (Parent)

а ты сейчас где и чем занимаешься?

(Reply to this) (Thread)

Постдок в Мюнстере.

(Reply to this) (Parent) (Thread)

Там же.
Я-то думал что ты забросил математику - год не появлялся в жж.

(Reply to this) (Parent) (Thread)

Наоборот, поэтому и не хватает времени на журнал.

(Reply to this) (Parent)

Комментарий года!

(Reply to this) (Parent)

akapinus, а как вы сами, забили на науку?

(Reply to this) (Parent)

Offtopic:
Дмитрий, у вас случайно нет этой книги в электронном виде?
http://www.amazon.com/gp/product/0387967877/

На libgen нет.

(Reply to this) (Thread)

Эта книга есть в Library Genesis:
http://libgen.org/book/index.php?md5=576728b662199bc472c74dcbe12d3e5c

(Reply to this) (Parent) (Thread)

Класс. Большое спасибо. Я искал название на http://libgen.info/, но там не было.

(Reply to this) (Parent)

Дмитрий, прошу прощения, frames and locales pointless topology не могу найти нигде в инете. Не дадите ссылку ?

(Reply to this) (Thread)

Если имеется ввиду книга, то вот она: http://libgen.info/view.php?id=765879

(Reply to this) (Parent) (Thread)

ага, спасибо вам огромнейшее !

(Reply to this) (Parent)

хотел ещё спросить, не попадалась ли вам на просторах интернета книга Кенджи Матсуки "Introduction to the mori theory" (мне её Вася Исковских хвалил как одно из лучших введений в предмет, правда, это было на 200* год), и ещё меня заинтересовало вот это:
André Joyal's work on species
что это ?
и где есть домашняя страничка Jacob'а Lurie, с лекциями по комбинаторике, в которых эта работа упоминается ? очень интересно

(Reply to this) (Parent) (Thread)

Книга Мацуки, видимо, не отсканирована.
Записки Лури по комбинаторике: http://math.harvard.edu/~lurie/155.html
На тему species есть книга: Combinatorial Species and Tree-like Structures, присутствует в Library Genesis.

(Reply to this) (Parent) (Thread)

Introduction to the Mori program.Matsuki.2002.pdf
http://ishare.iask.sina.com.cn/download/explain.php?fileid=16624376

(Reply to this) (Parent) (Thread)

Гонконгцы молодцы!
А я даже не стал гуглить,
думал Гугл уже давно удалил ссылки
на все такие сайты (оказывается, ещё не все).

(Reply to this) (Parent)

спасибо большое ! но я увидел это совершенно случайно, обидно даже

(Reply to this) (Parent)

http://sharpc.livejournal.com/25632.html

(Reply to this)

А как вы относитесь к вот этому теорминимуму: http://sharpc.livejournal.com/67583.html#cutid1 ?

(Reply to this) (Thread)

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

(Reply to this) (Parent)

у меня есть несколько вопросов о пользе локалей (если отречения от пользы локалей еще не произошло)
1)Есть примеры естественно встречающихся локалей, которые не приходят из топологических\измеримых пространств?
2)Вы приводили несколько примеров пользы локалей в топологии\функане (бесплатные эквивариантные и семейственные версии теорем) - можно ли поподробнее? ну там, формулировки их хотя бы, или ссылку на них, и как локали там помогают
3)Когда я пытался разобраться в пользе локалей в применении к коммутативной алгебре, то все что я увидел было в общем-то посвящено убиванию леммы цорна и аксиомы выбора, есть ли у вас на уме другие причины? Просто стесняться одной только аксиомы выбора как-то странно - во-первых, что с ней, что без нее, математика одинаково противоречива, во-вторых, в тех множествах что я себе мыслю она все-таки выполнена, и запрещать ее было бы очень неудобно для мышления, ну и в конце концов, если уж мы себе разрешаем универсы, то по сравнению с этим AC выглядит вполне безобидно

(Reply to this) (Thread)

>Есть примеры естественно встречающихся локалей, которые не приходят из топологических\измеримых пространств?

Конечно. Бикатегория малых топосов Гротендика эквивалентна категории
бикатегории локалических групоидов.
Так что любой малый топос Гротендика даёт пример.
Например, в алгебраической геометрии есть целая куча сайтов
(Зарицкого, Нисневича, этальный и другие) и все они дают примеры.
Это также объясняет этальную фундаментальную группу
и этальный гомотопический тип Артина-Мэйзура,
которые оба пропускаются через локалические групоиды.
Далее, тот факт, что и фундаментальная группа является про-группой,
и этальный гомотопический тип является про-∞-групоидом
также находит простое объяснение: обычная конструкция с точками и путями
фундаментальной группы или фундаментального ∞-групоида
для локали или локалического групоида хорошего ответа
дать не может, ибо есть полно интересных локалей без точек вообще.
Формализм локалей сразу подсказывает правильный способ:
надо определить фундаментальный ∞-групоид для любого открытого
покрытия, а затем взять формальный предел по всем покрытиям.
Формальный предел как раз и даёт про-группы и про-∞-групоиды.
Ну и конечно, ещё более тонким инвариантом, чем, скажем,
фундаментальная про-группа будет фундаментальная локалическая группа.
Есть, например, локалическая теория Галуа:
http://arxiv.org/abs/math/0012173

>Вы приводили несколько примеров пользы локалей в топологии\функане (бесплатные эквивариантные и семейственные версии теорем) - можно ли поподробнее?

Теоремы с использованием локаль верны, как правило в любом топосе,
что даёт эквивариантные и семественные версии автоматически.
Формулировки при этом те же, но при желании их можно раскрыть,
и тогда получатся «честные» эквивариантные или семейственные версии.
Пример того, как это используется для двойственности Гельфанда,
в семейственной версии: http://www.cs.ox.ac.uk/people/chris.heunen/publications/2009/bohrification/bohrification.pdf

>ну там, формулировки их хотя бы, или ссылку на них, и как локали там помогают

Тихонов: http://mathoverflow.net/questions/26427
Хан-Банах: http://mathoverflow.net/questions/45848
Гельфанд: http://www.cs.ox.ac.uk/people/chris.heunen/publications/2010/carey/carey.pdf

>во-вторых, в тех множествах что я себе мыслю она все-таки выполнена

Аксиома выбора нарушается более-менее в любом топосе Гротендика.
Простейший геометрический пример: топос пучков множеств на окружности.
Категория множеств в данном случае — категория этальных накрытий
окружности.
Соответственно, легко построить пример, в котором будет нарушаться
даже слабейшая форма аксиомы выбора.
Например, рассмотрим связное двулистное накрытие окружности
и его отображение в однолистное накрытие.
Это эпиморфизм (= сюръекция) множеств.
Но у этой сюръекции нет сечения.

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

(Reply to this) (Parent) (Thread)

Спасибо, очень интересно

(Reply to this) (Parent)

Дмитрий, здравствуйте.
Извиняюсь за оффтоп, но это вроде как единственный способ для меня задать вопрос.
В чем смысл термина йога, в том контексте, в котором его использовал Гротендик, например.

(Reply to this) (Thread)

Этот вопрос уже обсуждался здесь:
http://mathoverflow.net/questions/64071/what-does-the-term-yoga-mean-in-mathematics

У Гротендика йога означала фундаментальные
принципы (если угодно, философию)
математической теории, сформулированные
неформально, а не как набор определений
и теорем.

Сама теория при этом может быть
разработанной или нет, это не так важно.

(Reply to this) (Parent) (Thread)

Дмитрий, спасибо за ваш ответ.
пост на mof я видел. Собственно, вот это мое "понимание" вопроса и основывалось исключительно на обсуждении, ссылку на которое вы дали. Из той части "Урожаев...", что переведена на русский, не сильно понятно.

Кстати, может знаете, почему все-таки "йога"? Связь/ гармония/ союз?

(Reply to this) (Parent) (Thread)

>Кстати, может знаете, почему все-таки "йога"

Из словаря:
yoga: …training the consciousness for a state of perfect spiritual insight and tranquillity…

perfect insight — на мой взгляд, как раз это и имел ввиду Гротендик.

(Reply to this) (Parent)

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

Заранее спасибо.

(Reply to this)

Прошу прощения за оффтоп, скажите, а по какой книге следует учить гармонический анализ? Желателен в какой-нибудь степени бесформульный подход. Заранее спасибо.

(Reply to this) (Thread)

Если имеется ввиду коммутативный гармонический анализ,
то вполне приличной кажется книга
Deitmar, Echterhoff, Principles of harmonic analysis.

(Reply to this) (Parent)

Книга, кстати, есть в Library Genesis.

(Reply to this) (Parent)

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

(Reply to this) (Thread)

В данном случая всё определяется традицией.
Однако, не могу припомнить профессионального
математического текста, в котором использовались бы
фигурные скобки для обозначения систем уравнений.
Да и с дробной частью нотация не вполне однозначна,
также используются угловые скобки, а иногда
её обозначают как x mod 1, что на мой взгляд
является наилучшим вариантом.

(Reply to this) (Parent) (Thread)

Да, ваш вариант с дробной частью однозначен.
В профессиональной наверно да, для систем уравнений фигурные скобки давно не встречается.
В учебной литературе для математиков все же встречается фигурные скобки для систем уравнений. Вот пример Винберг Э.Б. Курс алгебры. 2001 стр. 43. К сожалению там прогресс значительно отстает, уж даже не знаю на сколько десятилетий. Устаревшие традиции все только запутывают.

(Reply to this) (Parent)

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

(Reply to this) (Thread)

Пишите на их форум: http://genofond.org/

(Reply to this) (Parent) (Thread)

спасибо ! а правильно ли я понимаю, что сейчас общий объём библиотеки ~7Тб ?

(Reply to this) (Parent) (Thread)

Да, хотя самое важное находится в первом терабайте.

(Reply to this) (Parent) (Thread)

а скорость какую максимальную можно получить ?

(Reply to this) (Parent)

например, у вас какая ширина отдающего канала ?
и почему так получилось, что весь смак вначале ?

(Reply to this) (Parent) (Thread)

Я ограничился скачиванием колхоза, ибо объём моего дискового пространства
составляет всего 3 терабайта — мне просто негде хранить все 7 терабайт.
Колхоз будет качаться, наверное, где-то день-два.
Сколько может качаться весь либген и какая у них скорость
на торрентах мне неизвестно.

>и почему так получилось, что весь смак вначале ?

В начале там колхоз и подобные библиотеки.
Наиболее важные книги как раз там.

(Reply to this) (Parent)

Ну что, еще один постдок?

(Reply to this)