inter-universal teichmüller theory 50412 В конец треда | Веб
Мочидзукиной теории тред. Постим свои мысли, интересные ссылки, лекции. Для примера - нихонский профессор математики раскидывает на пальцах за IUTeich, даже с простыми примерами.
https://www.youtube.com/watch?v=kq4jbNl4lJk
2 50416
>>412 (OP)
Сюда люди заходят, чтобы школьные уравнения решать. Какой нахуй Мочидзука? Ты с кем обсуждать собрался?
3 50421
Так-то вроде теорема Ферма намного проще доказывается, а
4 50422
А можно пререквизиты для пререквизитов к мочидзуке?
5 50423
>>421
математики наплодили лишних сущностней.
6 50429
>>416
На самом деле, кроме тех, кто сюда заходит решать школьные уравнения, немало здесь и таких, кто совсем не прочь бы пообсуждать основания мочидзуку

штука в том, что в промежутке между тем и другим почти ничего не обсуждается :D
7 50433
>>429
Шольце, что ли, залетает сюда?
8 50435
>>421

> Так-то вроде теорема Ферма намного проще доказывается, а


Для некоторых случаев. Считается, что натуральные числа и их свойства выводимы из аксиом Пеано ну или для любителей конструктивизма - из соответствующей типизации. А вот хуй там плавал, свойства умножения не сведешь к свойствам сложения и наоборот, поэтому казалось бы детские проблемы типа теоремы Ферма сотни лет никто осилить не может. По мочидзуке же такие проблемы нужно решать не в рамках одного "театра", натягивая глаз на жопу и сову на глобус, а в разных, а соответствие между решениями в разных театрах устанавливать с помощью тета функций.
9 50439
>>422

> А можно пререквизиты для пререквизитов к мочидзуке?


Гамалогии, тапалогии. Серьёзно. Театр по мочидзуке - это любая хуета, представимая в теории схем Гротендика https://ru.m.wikipedia.org/wiki/Схема_(математика) а это полный набор пучков, коммутативных колец и чего там ещё из местных смешнявок.
10 50447
>>439
ПУЧК ПУЧК ПУЧК
ВСЁ ПУЧКОМ
11 50454
>>439
Ну конкретно, между допусти хатчером и маклейном и пререквизитам. Есть graduate книги типа схемки и теория Ходжа для даунов?
12 50460
>>412 (OP)
Сууукко специально написал так, что никто понять нихуя не мог и делает вид, что доказал.Хитрый бурят. а сложно написать так шоб я понял А? А? А?
13 50478
>>460
Иди вагоны разгружай.
14 50582
Красная селедка и его анальный господин на месте?
15 50584
>>435
Объясни, о какой связи свойств сложения и умножения говорят, рассказывая о сабже?
16 50656
>>584

> Объясни, о какой связи свойств сложения и умножения говорят, рассказывая о сабже?


Гугли ABC-conjecture. Это хороший пример задачи на свойства сразу сложения и умножения. В лекции, на которую ссылка в оп-посте, об этом рассказывается подробно. Суть в том, что числа, заданные индуктивно сложением и умножением одних и тех же чисел, дают последовательности, пересекающиеся только в некоторых точках, а в остальных местах ведут себя хуй знает как и уж точно независимо друг от друга. Суть мочидзукиного доказательства в том, что он эти последовательности не пытается натянуть одна на другую в рамках одного театра (как во всей нормальной математике), а рассматривает в разных театрах, соответствие между решениями в которых можно установить используя тета функции. Для сего ему пришлось нахуярить собственных формализмов, которые нигде кроме его работ не встречаются, и основаны на всяких гамалогиях Гротендика итп вещах не для всех.
17 50683
>>656

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


Можно пример таких последовательностей и их построения?
18 50692
>>683

> Можно пример таких последовательностей и их построения?


ABC-conjecture же, эта гипотеза как раз про такие последовательности и их построение. При разных A B и C там получаются разные странные результаты, которые и показывают, что зависимость умножения от сложения есть, но она сложнее чем принято думать.
Обновить тред
« /math/В начало тредаВеб-версияНастройки
/a//b//mu//s//vg/Все доски

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

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