Почему нет треда про Синъити Мотидзуки и его невменяемый поток сознания IUT и доказательство ABC - гипотезы?
Он тут в начале января новый пост в своём блоге сделал: https://plaza.rakuten.co.jp/shinichi0329/diary/202001050000/
Краткий пересказ для тех, кто не читает язык аниме-богов:
- Теория проверена и подтверждена десятки и сотни раз (с маленькой оговорочкой - всё это только со стороны небольшой группки из "понимающих")
- Ситуация с рецензированием IUT - это "чёрная дыра", много лет нет ни ответа, ни привета. (что истинная правда)
- Среди причин - заговор неизвестных иностранных товарищей, которые не любят наш светоч математики из-за культурных отличий и оказывают довление. Лол, 陰謀論乙
- Критики теории (Шольце и ко) сами ничего не поняли, и (главная мякотка поста) перепутали∧ (AND) c ∨ (OR), поэтому им кажется, что там что-то нелогично, а на самом деле всё ОК.
Он тут в начале января новый пост в своём блоге сделал: https://plaza.rakuten.co.jp/shinichi0329/diary/202001050000/
Краткий пересказ для тех, кто не читает язык аниме-богов:
- Теория проверена и подтверждена десятки и сотни раз (с маленькой оговорочкой - всё это только со стороны небольшой группки из "понимающих")
- Ситуация с рецензированием IUT - это "чёрная дыра", много лет нет ни ответа, ни привета. (что истинная правда)
- Среди причин - заговор неизвестных иностранных товарищей, которые не любят наш светоч математики из-за культурных отличий и оказывают довление. Лол, 陰謀論乙
- Критики теории (Шольце и ко) сами ничего не поняли, и (главная мякотка поста) перепутали∧ (AND) c ∨ (OR), поэтому им кажется, что там что-то нелогично, а на самом деле всё ОК.
Спасибо за новость, интересно
Судя по "краткому пересказу", очередное дедовское брюзжание выгоревшего гения. Чувствую, не взлетит. Никто никогда так и не разберётся в этой хуйне. А гипотезу порешают каким-нибудь совсем другим способом
Судя по "краткому пересказу", очередное дедовское брюзжание выгоревшего гения. Чувствую, не взлетит. Никто никогда так и не разберётся в этой хуйне. А гипотезу порешают каким-нибудь совсем другим способом
>>64623
Тащемта Савватеев говорил, что Шольце действительно там нашёл ошибку.
Тащемта Савватеев говорил, что Шольце действительно там нашёл ошибку.
>>64624
слышал что-то об этом, даже не от саввы
причём было сказано что-то вроде "1500 страниц в целом правильные но они все существенно опираются на одну маленькую лемму..." с указанием номера леммы
Мне показалось тогда, что даже по модулю этой леммы, если вся остальная эта дикая громоздкая дрянь правильная, то чего-то это всё да стоит. А ещё то обстоятельсвто, что 30летний Шольце её всю прочёл и реально со всем согласился (кроме леммы), тоже как-то очень круто
слышал что-то об этом, даже не от саввы
причём было сказано что-то вроде "1500 страниц в целом правильные но они все существенно опираются на одну маленькую лемму..." с указанием номера леммы
Мне показалось тогда, что даже по модулю этой леммы, если вся остальная эта дикая громоздкая дрянь правильная, то чего-то это всё да стоит. А ещё то обстоятельсвто, что 30летний Шольце её всю прочёл и реально со всем согласился (кроме леммы), тоже как-то очень круто
>>64624
Шольце сказал, что после такой-то теоремы (не помню, за каким нумером, и о из третьей части IUTeich) там не понятно нихуя, это почти цитата. Никакой конкретики от него не поступало. Смешно считать, что такой чувачок может там какую-то ошибку найти.
>>64603 (OP)
Вполне вероятно, кстати. Но дело не в культурных различиях или расизме, а в банальной зависти.
> Тащемта Савватеев говорил, что Шольце действительно там нашёл ошибку.
Шольце сказал, что после такой-то теоремы (не помню, за каким нумером, и о из третьей части IUTeich) там не понятно нихуя, это почти цитата. Никакой конкретики от него не поступало. Смешно считать, что такой чувачок может там какую-то ошибку найти.
>>64603 (OP)
> Среди причин - заговор неизвестных иностранных товарищей, которые не любят наш светоч математики из-за культурных отличий и оказывают довление. Лол, 陰謀論乙
Вполне вероятно, кстати. Но дело не в культурных различиях или расизме, а в банальной зависти.
Несмотря на то, что IUTeich это нечто принципиально новое в математике как в явлении вообще (вся математика от древнего Египта до этой мочидзукиной теории это манипуляции в рамках одного театра Ходжа, тогда как суть мочидзукиной теории в возможности работать с математическими теориями в нескольких театрах Ходжа, что делает разрешимыми проблемы, не решаемые в рамках одного театра Ходжа. Проблема только в том, что эту теорию почти никто толком даже понять не может. Понятно, что применить ее практически не может вообще никто, даже сам мочидзука это может очень условно и только для простейших случаев типа АВС гипотезы, где в разных театрах Ходжа рассматриваются элементарные вещи - арифметическое сложение и умножение натуральных чисел. Без автоматизации IUTeich она бесполезна просто потому что ни у кого мозгов не хватит чтобы ей пользоваться.
>>64661
Я ж говорю, ни у кого мозгов не хватает это использовать для получения каких-то результатов. Топовые математики даже просто проверить IUTeich уже столько лет не могут.
Я ж говорю, ни у кого мозгов не хватает это использовать для получения каких-то результатов. Топовые математики даже просто проверить IUTeich уже столько лет не могут.
Кстати, есть годная лекция по IUTeich, чувак прямо на пальцах поясняет, что и зачем. У него и книга есть на эту тему, но на нихонском.
https://www.youtube.com/watch?v=kq4jbNl4lJk&app=desktop
https://www.youtube.com/watch?v=kq4jbNl4lJk&app=desktop
>>64669
прямое. наоборот, если нет многообразий и/или простых чисел, то не математика
прямое. наоборот, если нет многообразий и/или простых чисел, то не математика
>>64669
В школу пойдешь, узнаешь.
В школу пойдешь, узнаешь.
>>64603 (OP)
Уже джва года пытаюсь разобраться в этой истории.
- То, что совсем никто не понимает, это чушь, даже на ютубе можно найти не один разбор. Ореол таинственности вокруг доказательства такой, потому что академическая среда довольно ленивая. Я прямым текстом получала от коллег такие комментарии: "да мне лень разбираться". Короче, пока конференции не начнутся с доходчивыми паверпоинт презентациями, будет "чёрная дыра". Математики очень ленивое быдло.
- Но центральная лемма действительно вызывает вопросы. Большинство математиков не обладают достаточно тонким пониманием, чтобы сказать, действительно там ебала какая-то или это новая философия доказательства раскрылась?
- Помимо спорной леммы, доказательство Мотизуки на самом деле очень крутое и компетентное, он там такие штуки вытворяет, что сомнений в его уровне нет.
- Шольц вызывает доверие, но что если он действительно просто НЕ ПОНЯЛ? Ну вот по колее ездил всю жизнь человек и не понял.
- Спор не о технике доказательства, а скажем так о философии. Следовательно, не ясно, какого уровня нужна экспертиза, чтобы уверенно говорить об успехе доказательства.
Вообще, идея доказательства так прекрасна и уникальна, что мне, конечно, хочется, чтобы он был прав.
>>64623
Возможно. И мы упустим что-то, что могло быть революцией в математике.
>>64664
Просто ленятся. У них хватает своих тем.
Уже джва года пытаюсь разобраться в этой истории.
- То, что совсем никто не понимает, это чушь, даже на ютубе можно найти не один разбор. Ореол таинственности вокруг доказательства такой, потому что академическая среда довольно ленивая. Я прямым текстом получала от коллег такие комментарии: "да мне лень разбираться". Короче, пока конференции не начнутся с доходчивыми паверпоинт презентациями, будет "чёрная дыра". Математики очень ленивое быдло.
- Но центральная лемма действительно вызывает вопросы. Большинство математиков не обладают достаточно тонким пониманием, чтобы сказать, действительно там ебала какая-то или это новая философия доказательства раскрылась?
- Помимо спорной леммы, доказательство Мотизуки на самом деле очень крутое и компетентное, он там такие штуки вытворяет, что сомнений в его уровне нет.
- Шольц вызывает доверие, но что если он действительно просто НЕ ПОНЯЛ? Ну вот по колее ездил всю жизнь человек и не понял.
- Спор не о технике доказательства, а скажем так о философии. Следовательно, не ясно, какого уровня нужна экспертиза, чтобы уверенно говорить об успехе доказательства.
Вообще, идея доказательства так прекрасна и уникальна, что мне, конечно, хочется, чтобы он был прав.
>>64623
>А гипотезу порешают каким-нибудь совсем другим способом
Возможно. И мы упустим что-то, что могло быть революцией в математике.
>>64664
>Топовые математики даже просто проверить IUTeich уже столько лет не могут.
Просто ленятся. У них хватает своих тем.
>>69466
Веришь всему, что тебе говорят? Раз Вася Пупкин сказал, что ему "лень разбираться", значит и правда лень, а так-то он ух какой гений...
Какие могут быть "свои темы", когда тут речь по-сути о постматематике, такого в математике не было никогда за всю историю человечества.
Там разборы как раз уровня Ютуба. Кто из этих обзорщиков и разборщиков предъявил хоть что-то по теме кроме обзора на ютубах?
> академическая среда довольно ленивая. Я прямым текстом получала от коллег такие комментарии: "да мне лень разбираться".
Веришь всему, что тебе говорят? Раз Вася Пупкин сказал, что ему "лень разбираться", значит и правда лень, а так-то он ух какой гений...
> Просто ленятся. У них хватает своих тем.
Какие могут быть "свои темы", когда тут речь по-сути о постматематике, такого в математике не было никогда за всю историю человечества.
> То, что совсем никто не понимает, это чушь, даже на ютубе можно найти не один разбор.
Там разборы как раз уровня Ютуба. Кто из этих обзорщиков и разборщиков предъявил хоть что-то по теме кроме обзора на ютубах?
>>69469
Да, абсолютно всему.
Это правда.
Да нормальные там разборы.
>Веришь всему, что тебе говорят?
Да, абсолютно всему.
>такого в математике не было никогда за всю историю человечества
Это правда.
>Там разборы как раз уровня Ютуба.
Да нормальные там разборы.
229 Кб, 500x281>>69466
тяночька писечка ммимимимими обмазываться вместе математикой а потом няшиться с ламповой тяночкой под пледиком...........................................
>получала
тяночька писечка ммимимимими обмазываться вместе математикой а потом няшиться с ламповой тяночкой под пледиком...........................................
>>69466
меня одного насторожил этот момент в пасте?
>пока конференции не начнутся с доходчивыми паверпоинт презентациями
>Математики очень ленивое быдло.
меня одного насторожил этот момент в пасте?
>>69469
ну пусть эта постматематика докажет ещё что-нибудь
все твердят о гениальной принципиально новой теории, но если она такова, она должна уметь переосмысливать и многое другое кроме одной гипотезы
похуй на эту центральную лемму
возьмите вашу уникальную прекрасную идею и докажите теорему ферма, например, в виде какого-нибудь простого следствия предыдущей леммы, которая никого не смущает
> когда тут речь по-сути о постматематике
ну пусть эта постматематика докажет ещё что-нибудь
все твердят о гениальной принципиально новой теории, но если она такова, она должна уметь переосмысливать и многое другое кроме одной гипотезы
похуй на эту центральную лемму
возьмите вашу уникальную прекрасную идею и докажите теорему ферма, например, в виде какого-нибудь простого следствия предыдущей леммы, которая никого не смущает
>>69486
Так теорема Ферма и так из АБЦ легким движением руки получается.
Так теорема Ферма и так из АБЦ легким движением руки получается.
>>69486
Сама математика пусть докажет? Чего несешь-то. Я о чем давно уже толкую - представление математических теорий в разных театрах Ходжа даёт возможности, которых никогда не будет в обычной математике, где все происходит в одном театре Ходжа. Есть вещи, по-видимому вообще неразрешимые в рамках одного театра Ходжа. Как ни изьебывайся, сова на глобус не налезет - или порвётся или глобус сломается. Отсюда математические проблемы, открытые веками, типа теоремы Ферма, с которыми никто ничего не может поделать, несмотря на их кажущуюся элементарность. Но, использовать IUTeich для доказательства чего-то сложного ни у кого мозгов не хватает. Без автоматизации ее никто и никогда не сможет использовать по полной программе.
> ну пусть эта постматематика докажет ещё что-нибудь
> все твердят о гениальной принципиально новой теории, но если она такова, она должна уметь переосмысливать и многое другое кроме одной гипотезы
Сама математика пусть докажет? Чего несешь-то. Я о чем давно уже толкую - представление математических теорий в разных театрах Ходжа даёт возможности, которых никогда не будет в обычной математике, где все происходит в одном театре Ходжа. Есть вещи, по-видимому вообще неразрешимые в рамках одного театра Ходжа. Как ни изьебывайся, сова на глобус не налезет - или порвётся или глобус сломается. Отсюда математические проблемы, открытые веками, типа теоремы Ферма, с которыми никто ничего не может поделать, несмотря на их кажущуюся элементарность. Но, использовать IUTeich для доказательства чего-то сложного ни у кого мозгов не хватает. Без автоматизации ее никто и никогда не сможет использовать по полной программе.
>>64624
Савватеев - не математик, просто примазавшийся православный хер. Такого слушать - себя не уважать.
Савватеев - не математик, просто примазавшийся православный хер. Такого слушать - себя не уважать.
Раз такой тренд: объясните мне гипотезу Ходжа простыми андерград словами.
>>69497
Ну отлично, возможности, театры, а результаты будут какие-нибудь окромя пресловутой гипотезы с какой-то ненормальной леммой?
Ну отлично, возможности, театры, а результаты будут какие-нибудь окромя пресловутой гипотезы с какой-то ненормальной леммой?
>>69507
Будут, когда кто-нибудь придумает, как все это использовать. Потому что просто в лоб, напрямую, как раньше, ни у кого мозгов не хватает. Новые методы требуют новых подходов.
> Ну отлично, возможности, театры, а результаты будут какие-нибудь окромя пресловутой гипотезы с какой-то ненормальной леммой?
Будут, когда кто-нибудь придумает, как все это использовать. Потому что просто в лоб, напрямую, как раньше, ни у кого мозгов не хватает. Новые методы требуют новых подходов.
>>69482
Я больше предпочитаю старый facialabuse.
>>69479
Только если у нас сферы интересов совпадают.
>>69485
Академическая среда довольно инертна.
>>69486
Мне кажется, ты ошибся дисциплиной :) Тебе наверное в физику и пр., где такой ход мысли уместен. Матемша это больше про поэзию.
Она вытекает из ABC.
>>69499
тебя ебёт што ли у нас во дворе за такие вопросы пиздят
Я больше предпочитаю старый facialabuse.
>>69479
Только если у нас сферы интересов совпадают.
>>69485
Академическая среда довольно инертна.
>>69486
>ну пусть эта постматематика докажет ещё что-нибудь
Мне кажется, ты ошибся дисциплиной :) Тебе наверное в физику и пр., где такой ход мысли уместен. Матемша это больше про поэзию.
>и докажите теорему ферма
Она вытекает из ABC.
>>69499
>Что такое театр Ходжа?
тебя ебёт што ли у нас во дворе за такие вопросы пиздят
>>69568
Да вряд ли, я быдловкатывальщик же. Это я так, гатарей посмотрел, а там Ойкура Содачи, такая-то няша. Да и вообще 3д не нужны.
>Только если у нас сферы интересов совпадают.
Да вряд ли, я быдловкатывальщик же. Это я так, гатарей посмотрел, а там Ойкура Содачи, такая-то няша. Да и вообще 3д не нужны.
>>69570
Нда, рыночная стоимость 3D падает >:(
Нда, рыночная стоимость 3D падает >:(
>>69512
>>69499
На 29-ой странице про эту дичь:
http://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf
Ещё здесь:
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal Teichmuller Theory I.pdf
>>69499
На 29-ой странице про эту дичь:
http://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf
Ещё здесь:
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal Teichmuller Theory I.pdf
>miniature models of conventional scheme theory in which the two underlying combinatorial dimensions of a number field — which may be thought of as corresponding to the additive and multiplicative structures of a ring or, alternatively, to the group of units and value group of a local field associated to the number field — are, in some sense, dismantled or disentangled from one another.
>>69568
а, ну тогда и обсуждать здесь нечего
попробуй почитать это доказательство в микрофон шёпотом в темноте, потом выложи на ютуб
за науку пояснять больше не надо, пожалуйста
>Матемша это больше про поэзию.
а, ну тогда и обсуждать здесь нечего
попробуй почитать это доказательство в микрофон шёпотом в темноте, потом выложи на ютуб
за науку пояснять больше не надо, пожалуйста
>>71050
Математика не наука, в ней нет эксперимента и всё следует из аксиом, которые принимаются на веру.
Математика не наука, в ней нет эксперимента и всё следует из аксиом, которые принимаются на веру.
>>71052
Это другое.
Это другое.
>>71114
Он же очевидно пошутил. Ты упомянул театр, и анон выдал традиционное 'весь мир - театр, а люди в нём - актёры' на математический лад. Тут роботы что ли блядь сидят?
Он же очевидно пошутил. Ты упомянул театр, и анон выдал традиционное 'весь мир - театр, а люди в нём - актёры' на математический лад. Тут роботы что ли блядь сидят?
Это театр одного актёра
>>71127
Человек это нейросеть плюс говно. Но в исходном посте речь шла про человеческие отношения а этим управляет нейросеть.
Человек это нейросеть плюс говно. Но в исходном посте речь шла про человеческие отношения а этим управляет нейросеть.
>>71145
Арнольд, плез.
Арнольд, плез.
>>71050
Зачем мне слушать странный неуместный совет дурачка с двача?
За какую ещё науку, лолка? Ты какими-то науками занимаешься?
>попробуй почитать это доказательство в микрофон шёпотом в темноте, потом выложи на ютуб
Зачем мне слушать странный неуместный совет дурачка с двача?
>за науку пояснять больше не надо, пожалуйста
За какую ещё науку, лолка? Ты какими-то науками занимаешься?
>>71270
Любая модель лишь приближение.
Любая модель лишь приближение.
>>64603 (OP)
Хипстеры уже запили конструктивную версию его доказательства на своём HoTT?
Хипстеры уже запили конструктивную версию его доказательства на своём HoTT?
>>71802
В процессе.
В процессе.
Вот только я не хипстер.