Математические дебри 118067 В конец треда | Веб
Какой виток математики нынче считается самым сложным? Ну вот что-то такое, где прошаренных ученых по пальцам счесть или нечто требующее крайне высокого уровня
Часто говорят о топологии, но видимо есть и что-то другое
17296913473053.png110 Кб, 291x410
2 118070
пучки
3 118075
>>18070
Не пон. Что за пучки и кого от них пучит? А что за чувак в углу картинки?
4 118097
>>18075
вкатун ньюфаг из /pr/ съеби
6 118145
>>18075

>Что за пучки


В 1940 году французский математик и артиллерийский офицер Жан Лере попал в плен к немцам. Опасаясь, что его истинная специализация в гидродинамике может быть использована для помощи военным усилиям Германии, он сообщил своим захватчикам, что является специалистом в области топологии. На протяжении почти пяти лет заключения Лере поддерживал эту уловку, проводя исследования в топологии - разделе математики, изучающем свойства фигур, не меняющиеся при деформациях. В результате этих исследований он разработал одну из самых революционных идей в современной математике - концепцию "пучка".

После того как Александр Гротендик вывел идею Лере на передний план математики в 1950-х и 60-х годах, пучки стали играть ключевую роль в математике. По словам Дэвида Бен-Цви из Техасского университета в Остине, они превратились в "один из самых фундаментальных инструментов в современной алгебраической геометрии".

Для понимания концепции пучков можно представить их как надстройки над другими математическими объектами. Марк Агриос предложил следующую аналогию: "Представьте, что математический объект - это участок земли, а пучок - это сад на его вершине".

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

Даже простейшие пучки представляют собой довольно сложные математические конструкции. Для лучшего понимания рассмотрим процесс построения простого пучка из прямых линий.
7 118146
>>18142
не математика
не математики
8 118147
>>18146

>не математики


Степанище, спасибо за наводку. Косматый, ладно - не матиматик, но худой-то шарит в математике. Чего сочиняешь
9 118166
>>18147
худой шарит, может быть, в теории игр какой-нибудь, но не в математике
10 118174
11 118176
https://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc_ver6.pdf
Ну вот аутист-самурай на пик1 опубликовал добивку к док-ву абс-теории, написанной аутистом на пик2. Считается, что теория очень сложна к пониманию
12 118178
>>18147
Худой сам не раз говорил, что его знания заканчиваются на 2 курсе нму.
13 118179
Гипотеза Гольдбаха где?
14 118180
>>18178
я что-то подозреваю, что раньше

это, однако, не мешает ему ходить на 100500 бесконечных интеврью на всевозможных каналах, где его представляют как математика и он с понимающим видом кивает; в результате, всей широкой публике он известен как эксперт-математик
15 118181
>>18174
почитал по диагонали, весело написано, особенно про сексуальный опыт шурика и с теми, и с теми

не написано, однако, что японец является хамлом и быдлом, а шурик - замечательной и доброй няшой; я также не верю в то, что японец сидел последние пять дней с ним в больнице
16 118182
>>18178
*мгу
Он вроде же и не ходил в нму
17 118186
>>18180

>эксперт-математик


А остальные математики не эксперты?
18 118188
>>18186
математики могут выступать как эксперты
а вот не-математики - сомнительно

впрочем, у него докторская степень (пусть её и раскритиковали), так что может называться экспертом, наверное
19 118220
Начнём с того, что пучки ваши - это не математика. Какой-то частный случай теории категорий, натянутый как сова на глобус на какие-нибудь алгебраические итд структуры. EGA пучкиста Гротендика до сих пор даже не переведена на английский, потому что никому не нужное чтиво. Напомним, что тех же бурбаков переводили очень оперативно, и не только на английский.
20 118225
>>18220
теория категорий не математика, а тараканинг для логиков
21 118227
>>18225
сьеби
22 118230
>>18220

>EGA пучкиста Гротендика до сих пор даже не переведена на английский


Не переводят/переиздают скорее всего прежде всего из-за правовых вопросов, потому что Грот не давал разрешения воспроизводить его работы. Любительский перевод нескольких томов EGA есть, еще есть переиздание SGA на французском.
По поводу пучков - они появились в контексте аналитической геометрии. В алгебраическую геометрию их принес Сэрр в Faisceaux algebriques coherents, и никакой теории категорий он тогда конечно же не знал.
покормил
Не-трогай-это-на-Новый-год-прикольные-и-смешные-картинки-10-320x320.jpg16 Кб, 320x320
23 118232
>>18230

> Грот не давал разрешения воспроизводить его работы.

24 118244
>>18227
съеби говно категорное
26 118268
>>18260

>github


пиздец
срочно в /pr/
27 118276
>>18067 (OP)
Тот, который связан с data science. Иначе бы все математики зарабатывали по 500к.
28 118278
>>18276
так это не математика даже
29 118279
>>18278
пошел на хуй, мудила
30 118281
>>18279
пососи хуйца говно
31 118336
>>18220
EGA не особо и нужно. Всё давно переписали в другие учебники. А вот SGA всё ещё актуально.
32 118362
>>18336

> А вот SGA всё ещё актуально.


И тоже никто не переводил на английский. На гитхабе есть какой-то заброшенный лет 6 как проект перевода, там просто написали типа "вот вам оригинал на французском на архиве и гуглопереводчик в помощь". Охуеть актуалочка.
33 118363
>>18362
учи французский
34 118364
>>18363
На французском обпучкивается лучше?
35 118365
36 118366
>>18364
Бурбаков читать.
37 118497
>>18176
Разве его не разъебал Шольце ещё в 18м году?
38 118498
>>18278
Док-во сходимости стох град десента для глубоких сетей так-то занимает около ста страниц. И оно довольно жёсткое. Даже в элементарных структурах, далёких от инфинити категорий, бывают сложные задачи, которые приходится ковырять вилкой и высокий формализм там не особо помогает
39 118544
А чë там с компьютерным доказательством теорем Воеводского?
40 118545
>>18544
в /pr/ спроси
нет сами соси хуй педик
нет сам пошел нахуй педик
41 118546
>>18498
проблемы поехавших второкультурщиков
42 118547
>>18545
Так если математика полностью компьютеризирована, то какой смысл бухтеть?
43 118548
>>18547

>Так если математика полностью компьютеризирована


лол вот это тараканомрии
44 118549
>>18548
Нейросетка расхуячит твой матан как семечки.
45 118551
>>18549

>матан


вы только посмотрите, у этого таракана математика = матан
46 118557
>>18551
пошел на хуй, петух
47 118560
>>18546
Выкати доказательство в категорном формализме, уёбок.
Пока не выкатишь, ты петух и место твоё -- у параши. Ждём.
Сделай в стандартном акрсивовском темплейте.
48 118563
>>18557
а вот и ты, шизоуебище
срыгивай
49 118564
>>18560
так сам и ебись со своей парашей, господин второкультурный петух, нам-то оно зачем?
50 118566
Почему на доске /math/ общение как-будто в /b/ или /po/ попал? Ругань, хуи, петухи, оскорбления, мамкоебля. Тут же интеллектуальные люди.
51 118568
>>18566
виноваты залетные петухи из /pr/ с вопросами уровня таблицы умножения
52 118570
>>18566

Народ свалил последнее время, остались только унылые мемеры.
53 118579
>>18566

>Тут же интеллектуальные люди


>двач


Интеллектуальные люди все на dxdy, а тут пучкисты-первокультурщики.
54 118580
>>18566
А где на дваче другое общение? у меня впечатление, примерно везде такое же

ну, и ещё вопросы (интересные) стали задавать намного меньше
содержательных дискуссий тоже поубавилось: сейчас "не математика, в /pr" - это самый осмысленный наброс, на который сегодняшние тролли способны; я уже начинаю скучать по дискуссиям про определитель
55 118591
>>18564
Ясно. К параше обратно.
56 118592
>>18566
Скорее, шизы.
57 118596
>>18591
ко второкультурной параше отношения не имею
58 118620
>>18596
Имеешь. К третьекультурной: петух без пейперов
59 118622
>>18620
о, будешь хвастаться пейперами на миллион страниц с нечитаемым доказательством очередной теоремы ящика? похвально
60 118642
>>18622
Тебе-то вообще нечем похвастаться. Ты не написал ни одного за пределами Саратовского трубостроительного сборника юных пионеров.
Поэтому математика твоего петушиного уровня - это мемы и срачи на мёртвой доске.
61 118661
>>18642
нихуя ты экстрасенс, математикой в хогвартсе занимаешься, наверное?
62 118715
>>18622
>>18661
Господа!

Прошу перестать оскорблять друг друга.
63 118724
>>18715
в смысле??
64 118730
>>18715
пашол на хуй
65 118751
>>18580
Так разобрались же давно, что нужно вводить внешнюю степень оператора, и по ней смотреть определитель, тк эндоморфизм на 1-мерном пространстве есть домножение на скаляр.
66 118763
>>18661
Хирш покажи, петушок.
67 118770
>>18763
засунул свой хирш тебе за щеку, проверяй
68 118776
>>18770
Ясно. шизопетух-домосед.
неработающий математик
69 118792
>>18776
господин экстрасенс, пиздуйте калибровать чакры в другое место
не говоря уж о том, что ебучий хирш абузится 1000 способами и нихуя не показывает
70 118811
>>18792
Покажи хоть одну свою статью, петушара
71 118818
>>18811
нет, ты покажи свою
72 118827
>>18188
Так докторская у него вроде по экономике.
73 118829
>>18818
Ясно. Слился.
74 118831
>>18829
так ты сам петух без статей, получается
75 118851
>>18831
Получается у тебя только сливаться
76 118860
>>18851
но ведь слился лишь ты
77 118874
>>18860
Крестьянин, пиши с маленькой буквы у себя на хуторе.
78 118888
>>18874
где твоя статья, хуепутало?
79 118893
Всё, заебал, олигофрен.
80 118989
https://arxiv.org/pdf/0704.2030
Докторская дисс-я брата Дурова на полтыщи страниц
В 2007 году Дурову-старшему была присуждена степепь доктора математических наук в Бонне. В числе его научных трудов диссертация «Новый подход к геометрии Аракелова», в которой автор, развивая идеи Гротендика, ввёл структуру «обобщённых колец»
81 118990
"Брат Николай попал в систему тех же математических кружков, из которой вырос Григорий Перельман и другие топологи и геометры. Его вычислил на городской олимпиаде известный тренер Александр Голованов и заманил в кружок не менее известного Сергея Рукшина – учителя Перельмана. Вскоре после этого Николая рекрутировали в знаменитую «единичку» – спецкласс 239-й школы, где учились призеры олимпиад. Помимо математики он с головой погрузился в программирование.
82 118992
>>18990
вполне стандартный путь приличный путь для хорошего математика
83 118998
>>18990

>Помимо математики он с головой погрузился в программирование


И единственное что он высрал это скопировал Фасебук?
84 118999
>>18998
он сделал свой вклад в обширное человеческое знание в виде 500-страничного текста по забористой алгебраической геометрии.

в виде копии фейсбука он сделал вклад в многомиллиардное состояние своего омежного братика (и для самого себя заработал наверняка тоже прилично)

нужно правильно подбирать критерии оценки для того или иного факта, адекватно его сущности
85 119000
>>18999

>знание в виде 500-страничного текста по забористой алгебраической геометрии


на хуй не нужно

>он сделал вклад в многомиллиардное состояние своего омежного братика


ну вот единственная польза для его семьи

Так что за пределами дурозагона он малоизвестен.
86 119001
>>19000

>на хуй не нужно


тебя не спрашивали

>малоизвестен


потому, что это его личный выбор
87 119002
>>19001
Во во, как из анекдота про неуловимого и не нужного
88 119003
>>19000

>на хуй не нужно


Это конкретно почему?
89 119004
>>19003

>Это конкретно почему?


Над этой областью (алггем над полем с одним элементом) работают несколько групп уже где-то лет двадцать, приложений к собственно алггему (и тем более другим областям) при этом примерно никаких, есть только надежда, что когда-то получится на этом языке доказать гипотезу Римана. Автор одного из основных подходов к $\mathbb{F}_1$ согласен: https://mathoverflow.net/a/23418
Конкретно по поводу Дурова, его подход тоже пока особо ничего не принес: https://mathoverflow.net/a/341327
мимо
90 119005
>>19004
В этом самом коммьюнити работа Дурова считается уже в некотором роде классической, насколько понимаю, т.е. им она, возможно, нужна.
То, что вся теория пока что в других областях не принесла плодов — ну, это печально, конечно, но не априори смертельно для математики, особенно когда цель очень амбициозная. Не понимаю, как в таких случаях можно заранее говорить, что это никому не нужно.
91 119032
>>18989

>доктора математических наук в Бонне


Ебанаты. Это не доктор наук, блядь. На русский переводит надо как "кандидат наук (PhD)".
92 119033
>>19032
Только совковые ебанашки так могут перевести.
93 119034
>>19032

>PhD


Прохвесар Филасофии же
94 119035
>>19033
Придурок.
95 123191
https://grothendieck.umontpellier.fr/archives-grothendieck
Оцифрованный архив рукописей Гротендика
https://www.theguardian.com/science/article/2024/aug/31/alexander-grothendieck-huawei-ai-artificial-intelligence
Статья о редких фактах его жизни с фотками из глубокой старости
96 123208
>>23191
Кто такой? Считаю нинужна
97 123222
>>23191
Спасибо тебе, анончик.
98 125898
>>18278
>>18220
>>18146

Правильно ты их тут в треде, кроме арифметики настоящей математики нет! Натуральные числа - для натуралов, все остальное - говно пидорское.
99 127049
>>23191
https://www.youtube.com/watch?v=KNNKu4tYjQ4
Что тут дед говорит? Франкофоны в студии?
Обновить тред
« /math/В начало тредаВеб-версияНастройки
/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее