24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Математик-аспирант, делать нехуй, отвечу на ваши вопросы если такие будут.
>>203520887 (OP) Как мы можем быть уверены, что число ПИ каждый раз при вычислении одно и тоже(константа), если так и не знаем его точного, конечного значения? Что если выяснится что оно на самом деле в каждой окружности кривой и дуге слегка отличается? Как это изменит мир?
>>203520933 >>203521013 У меня паранойя, сори, мне почему-то кажется что мой путь настолько уникальный что меня по нему моментально сдеанонят мои знакомые. Бак и мага - два разных и довольно неплохих СНГ ВУЗа, аспирантура в Европе, не топовая, но топ 100 во всяких этих ваших S2 рейтингах. >>203520974 >>203521026 Некоммутативной геометрией, скажем так. >>203521057 Нужны за тем же, на что название и намекает: формализация картинки "серии всё более точных и точных измерений x_n некоторой точной величины А" или каких-то аналогичных - когда что-то куда-то стремится. >>203521076 Особо не нужен, если особой специфики нету. >>203521128 Нет, в более зрелом возрасте заинтересовался, приходилось менять специальность. >>203521373 Да, доходил достаточно высоко, но не сверхвысоко. >>203521376 Это философская идея у которой какой-то одной выделенной формализации в математике нету, а есть много разных отдельных формализаций "натуральное число", "вещественное число", "комплексное число". Эта фигура когда одно очень общее понятие в бытовом языке расщепляется на множество мелких подпонятий в математике очень частая, такому же "расщеплению" в математике подвержены такие понятия как "пространство", "динамическая система", "фигура" и т.д. >>203521405 Потому что можно целый день в кабинете читать интересные статьи, а тебе за это ещё и платят.
Фух, очень большой наплыв вопросов, передохну немного.
>>203521391 Ну ёпт, процессор не умеет нормально тот же синус посчитать, зато суммирует заебись, поэтому математики придумали разложение в ряд Лорана, например. Погромист потом хуяк-хуяк и в продакшон. АЦП - это чисто задача на интегралы. Криптография - тоже математические алгоритмы.
какие мат. блоги читаешь / на каких мат. форумах сидишь / какие мат. каналы смотришь? последнее особенно интересно, а то на ютубе в основном либо какой-то совсем уж научпоп контент тип намберфила
>>203521919 Если тебя интересует не матан, а в принципе математика, для шейдеров нужна линейка, для нейросетей нужна линейка, для поиска пути, транспортной задачи и прочей хуйни нужна дискретка и исследование операций, для того чтобы распарсить нечто сложнее номера телефона нужна ТФЯ/ТА.
>>203521612 А, это ты. Тогда к тебе как к специалисту вопрос: правда что топология с алгебраической геометрией тесно связывается как раз во всей этой абстрактной производной истории, и если да то как именно?
Правда, что у вас в математике есть своя мафия, которая решает, кого публиковать, а кого нет, травит неприятных ей людей (тип Матильды Марколли) и раздает премии своим?
>>203520887 (OP) Студент 1-го курса на инженегра, математика пока простейшая, но хочу вкатится в анализ данных, можешь расписать как на хорошем уровне самому вкатится в матанализ(в школке даже интегралы не брали), матстат и теорию вероятносте(расспиши хотя бы как в матан вкатится самому) Планируешь дальше в вузе работать или в прикладную уйдешь куда-нибудь?
>>203521467 Само по себе ценности не представляет, но зато в процессе доказательства понаходили очень много довольно глубоких закономерностей, и продвинули очень большие математические проекты. >>203521509 Какого-то "онтологического" объяснения не знаю, если разрешить делить на ноль и не разрешить все привычные правила арифметики то запросто можно вывести противоречие типа 0 = 1. Чтобы избежать противоречий, можно разрешить делить на ноль и запретить некоторые правила арифметики, иногда даже так и делают получая какие-то более экзотические алгебраические системы. Вопрос того почему какие-то системы приводят к противоречию, а какие-то не приводят слишком уж философский, на него я не буду отвечать. >>203521514 Доказал >>203521603 В компьютерно-строгой математике оно определено чисто формально, скажем, как значение какого-то быстросходящегося ряда, и не требует проведения экспериментов с ниточкой в реальности (эксперименты с ниточкой скорее внетеоретическая мотивация для введения формального определения). Согласно общей теории относительности пи и так отличается для окружностей находящихся в гравитационном поле и не находящихся в нём. >>203521851 Слишком долго, я же сюда рофлить пришёл а не разрабатывать какие-то большие программы по самообразованию. Мне нравятся оба списка Вербицкого, список Дмитрия Павлова и список Каледина по АГ, по крайней мере они дают нужный ориентир. >>203521898 Попробуй решать задачи на доказательство в каких-нибудь совсем детских книжках, скажем, "Как решать нестандартные задачи" Калель-Белова. >>203521921 Алгоритм Риша, дифференциальная алгебра. Это вообще алгоритмически неразрешимая задача (по крайней мере если разрешать модуль в качестве элементарной функции). >>203521987 Да попсу всякую. Читаю Так, сижу на матоверфлоу, смотрю 3blue1brown. >>203522007 Слишком субъективно, но пусть будет Концевич. >>203522097 Представляй не физически, как бесконечно-удалённую точку на прямой меньше любой другой точки. >>203522142 Знаю, думаю гений.
На что тратишь своё свободное время? Оно у тебя вообще есть, или ты всё время занимаешься математикой? Правда, что чтобы быть хорошим математиком, надо ботать даже пока едешь в маршрутке?
>>203522334 Я не верю бесконечным дробям, это самое настоящее белое пятно в математике. Это аналог "инстинкта" в биологии, никто не знает что это и как это объяснить, но все пользуются.
>>203522473 Я не ОП, но по матстату и ряду других около-CS областей есть довольно годный материал для вкатывания «Manga guide to Statistics». Вроде и на русский переведено как «Занимательная статистика. Манга», но я читал на ангельском.
>>203521514 Умножь числитель правой дроби на корень из 2. Получится две дроби с равными знаменателями. Значит, нужно доказать, что числители равны. Рассматриваешь равенство числителей, возводишь обе части равенство в квадрат, всё взаимоуничтожается => ЧТД
>>203522528 . > Представляй не физически, как бесконечно-удалённую точку на прямой меньше любой другой точки. Да как так то! Все можно представить и физически, ноль это гладкая кожа лица, было 16 прыщей, теперь нет, прыщей 0. Бесконечность это отражение зеркала в зеркале, там бесконечность зеркал. Минус ось – это просто факт отсутствия чего либо, у нас нет 4 роялей, а нам надо 4, у нас -4 рояля, плюс ось это присутствие чего либо. Как увидеть -∞? Давай по новой Миша все хуйня
Задана бесконечная последовательность функций g_1, g_2,...,g_n, определенных на числовой прямой. Докажите, что существует конечный набор функций f_1,...,f_m , композициями которых можно записать любую из функций g_k.
>>203522194 Ну самым естественным образом, производная категория когерентных пучков на вараити она морально стабильная (infty,1)-категория, а категория топологических спектров тоже морально (инфти,1)-категория, а алгебраическая топология это в самом общем смысле и есть изучение (инфти,1) категорий, вот и получается. >>203522281 Нет. >>203522296 Можно стать, но нужно много терпения и времени, во взрослом возрасте не все готовы тратить столько времени. >>203522442 Да не, мне кажется неправда. Какие-то слабые эффекты подобные тем что ты описал есть, но они очень слабо выражены, у меня с таким проблем никогда не было по крайней мере. >>203522473 Попробуй почитать Львовского "Лекции по математическому анализу" если покажется очень сложным, то почитай упомянутый "Анализ в 57 школе". По теор.веру мне у Тао лекции нравятся, Тао вообще хорошо про анализ пишет. Планирую работать в ВУЗе. >>203522538 Аксиомы линейно-упорядоченного поля или аксиомы Пеано с порядком. >>203522549 Техникли у меня всё время свободное. Стараюсь заниматься всё время математикой, но иногда гуляю с друзьями, читаю книги, слушаю музыку, обычные нормис-увлечения. >>203522606 Думаю я довольно сильно подвержен шизе, но мне это пока жить не мешает. >>203522705 Как-будто что-то плохое. >>203522717 Нет. Не совсем в мистику, но, сформулируем это так, в ЧТО-ТО ТАКОЕ я верю. Да, иногда какие-то совершенно непонятные коды зашиты в совершенно простых объектах, что конечно мистический трепет вызывает.
Обсосанный множество раз, уверен, вопрос, но всё-равно интересно: математика есть результат процесса рационализации окружающего мира нашим мозгом, или врожденным навыком, приобретенным в процессе эволюции, либо что-то, что присуще вселенной как таковой, то бишь математика суть наука, исследующая то, что уже присутствует и будет присутствовать даже без человека или любого другого сознательного организма?
Я забыл, в конце курса матана был какой то раздел математики где мы вычитали/склпдывали Алгебры или как то так, еще какие то с ними действия производили. Как такой раздел матана называется?
>>203522841 Только английский. >>203522845 Ну, ммм, изучение геометрических конфигураций методами гомологической алгебры, скажем так. >>203522896 Ну мне тот образ что я озвучил с бесконечно-удаленной точкой на прямой кажется вполне "физическим". >>203522953 Чуть-чуть. >>203523124 Более-менее аполитичен, но если к стенке прижмут, то скажу что либертарианских, наверное. Повлияло так, что стало на политику похуй, когда был малым больше любил о политике рассуждать. >>203523145 Конечно, юноши бледные со взором горящим же! >>203523220 Дам тогда один из обсосанных множество раз ответов: мне кажется есть куски математики которые отражают вселенную как таковую, а есть куски которые чисто построены нашим мозгом. >>203523373 Уффф, объект хранящий всю значимую гомотопическую информацию об объекте, скажем так. Формальное определение смысла давать не вижу (тем более что де-факто одного какого-то определния нету)
>>203523817 > объект хранящий всю значимую гомотопическую информацию об объекте, скажем так. Формальное определение смысла давать не вижу (тем более что де-факто одного какого-то определния нету) Ответь нормально, плиз, я знаю, что такое категории и что такое спектр оператора, например.
работать математиком-теоретиком в академии/науке можно только если ты гений типа всяких Шольце и Тао, или простые смертные, которые ИМО ваших не брали вообще никаких олимпиад не брали, тоже могут чего-то достичь?
>>203520887 (OP) В России есть прок от математики и твоих изысканий? Или математикам есть смысл перекатываться на запад? Я так понимаю там только постдок светит?
>>203522897 множество всех композиций f_1,...,f_m счётно, а множество g_i - нет, в нём можно выделить подмножество тождественно равных функций, равномощное числовой прямой. правильно?
>>203523585 Не понимаю, но почитай, наверное, "Курс алгебры" Винберга. >>203523690 Общая алгебра. >>203523837 Да. >>203523891 Совсем сходу не знаю, подумаю фоном, если придумаю аргумент - то скажу >>203523910 Там формализуется не "шанс" а сразу "мат.ожидание", соответственно определяется как некоторый положительный функционал на топологической алгебре. >>203523914 Только в локальных чатиках и на матоверфлоу. >>203523949 Ну, в некотором смысле все геометрии неевклидовы, кроме евклидовой (sic), так что технически да. Задачи в духе "дана вот такая геометрия, доказать такое-то её свойство". >>203523958 Прочитай тогда первую главу Керодона https://kerodon.net/tag/0001 >>203524029 Привет! >>203524069 Ну, так как Шольце и Тао выделены тем что они Шольце и Тао, и они не единственные кто работают в академии, то ясное дело что простые смертные тоже могут чего-то достичь. Но на этапе поиска постоянки нереально трудно конечно будет (у меня есть страх что на нём я и вылечу из науки). >>203524161 Прока нет, надеюсь, но математику в России финансируют неплохо, смысл на запад перекатываться есть, нет, почему, пхд тоже вполне светит, хотя я не знаю твоей ситуации. >>203524190 Aluffi "Algebra: chapter 0" самый лучший из учебников для вката мне кажется, но тебе он может показаться сложным. >>203524321 Множество gi тоже счётно, написано же "задана бесконечная последовательность". >>203524466 Антисимметричная билинейная форма старшей степени равная 1 на единичном кубе. >>203524467 Думаю умею.
>>203524605 >детерминант А для этого прям обязательно нужны базисы и матрицы? Можно его определить для линейного функционала из каких-то геометрических соображений и требований изотропности?
>>203524557 как математик чувствует, что какое-то определение - правильное, даже естественное, а какое-то - нет? я например когда увидел определение детерминанта через формулу Лейбница, то прям почувствовал, что хуйня какая-то. а твоё, даже не понимая половины слов, но зная геометрическую интерпретацию детерминанта, кажется очень эстетичным и глубоким. почему так?
>>203524837 Ну это что-то в духе дескрептивный vs императивный подход, императивный подход тебе даёт алгоритм того как вычислить детерминант, и поэтому удобен для конкретных вычислений, а дескриптивный тебе говорит какими свойствами он должен удовлетворять, поэтому удобен для доказательств всяких общих теорем о нём, скажем. Для математики почти всегда дескриптивный лучше, потому что математика чаще всего состоит из доказательства теорем.
>>203520887 (OP) Что почитать по поводу деления на ноль? Помню, в ВУЗе препод нам объяснял что на ноль таки делить можно и за этим следовало долгое объяснение. Я тогда нихуя не понял, к тому же забыл.
Есть ли некие свойства физики, которые уже описаны математически но еще не поняты физически? Типа вот мы описали как движется мячик, путем преобразований получаем такое то уравнение и оказывается "ЖЕ" равно "ПИ НА ВЭ" ЭТО ЧТО ЖЕ ПОЛУЧАЕТСЯ? НИХУЯ НЕ ПОНЯТНО, КАК ТАК?
На связи третьекурсник мехмата.Поступил осознанно, но с каждым семомо учился все хуже и хуже, хотя при этом математику все еще люблю и восхищаюсь ей.Да и работать хочется в научной/околонаучно сфере.Короче дошло до того что не помню четкого определения ряда.По итогу хочу задать тебе вопрос, что бы ты посоветовал делать. Оставаться в математике до последнего заново разюирая темы первого сема почти, либо забить и перейти во что-то прикладное типа компьтерных наук
>>203525042 Умный настолько, что даже понимаю, что разговор между людьми - это не дедуктивный формальный вывод по правилам вывода из формальных аксиом, а поэтому даже не слежу за тем чтобы в логике не лажать. >>203525090 Ну более-менее, сдалека очень нравится, но как писать статьи в мире в котором победят конструктивисты, отлавливая всякие неявные двойные отрицания и modus tollens не представляю.
>>203525213 Я правильно понимаю, что удел большинства математиков - ковырять какую-нибудь хуйню всю жизнь и лишь единицы сделают прорывные открытия, увековечившие их имена?
>>203525349 Зависит от отношения, то что я ковыряю мне хуйнёй не кажется, а кажется чем-то довольно глубоким и фундаментальным, но понимаю, что большинству других математиков это покажется хуйнёй и никто это прорывным не назовёт, даже если прорыв будет.
как ты понял, что именно математика это твоё, а не физика, химия, гуманитарщина? были моменты, когда не мог решить задачу/понять какой-то момент из теории, и думал, что пошел не той дорогой? как выбирался из такого настроения?
>>203525437 Ты сам-то в нии сидишь днями? Часто учёные других специальностей, типа физиков или химиков, просят обосновать или доказать ту или иную теорему или вывести формулу?
>>203525575 Если шаришь, то ответь, я не могу понять один момент в доказательстве того, что эффективный вариант леммы Кёнига неверен(существует разрешимое поддерево полного двоичного дерева у которого нет бесконечной вычислимой ветви).
>>203524542 >Прочитай тогда первую главу Керодона https://kerodon.net/tag/0001 Ок, интересно написано, буду читать. Если infty-категория это то же, что (infty,1), а стабильность по грани имеет отношение к твоему "морально стабильная категория", даже понял, о чем шла речь. Вообще, с симплексами и комплексами с цепочкками я знаком только из курса про внешние дифференциальные формы, потому мне вся эта алгебра симплициальных множест кажется странной.
>>203520887 (OP) Просто удачи тебе в твоем занятии, успехов и выдающихся достижений, чтобы наука продолжала тебя радовать и ты раскрывался в ней, находя новые грани и оттенки и бросая вызовы устоявшимся и очевидным вещам, взирая на всё это без искажений, без предрассудков и заблуждений.
>>203526611 И тебе тоже добра, ты, прекрасный и уютный ворчливый анон, которые присутствует фоном и нежно наполняет собою это пространство, как в те моменты детства, когда ты, засыпая, слышишь размеренную и монотонную речь из телевизора в соседней комнате, и вся твоя семья рядом, и по телу разливается приятная сладкая ломота и ты погружаешься в сон, не замечая того сам, лишь белые образы начинают выстраиваться в формы, которые уносят тебя дальше и дальше, и голос ведущего становится все тише..
>>203520887 (OP) Насколько сильно важно в постижении матана наставник, учитель или репетитор? То есть можно ли самостоятельно в одиночку освоить интересующую меня область хотя бы на среднем уровне? Мне, скорее, для учебы нужно, ведь я заметил, что при изучении тех.дисциплин не в полной мере все понимаю, ибо с матаном у меня проблемы были всегда.
>>203526852 Ну, короче, у математиков бывают более серьезные загоны, чем у физиков, например. Лично таких эпизодов не наблюдал, но по рассказам бывают всякие неадекватные реакции уровня того, как один кауказец со стулом и криками за моим знакомым бегал.
>>203520887 (OP) как начать учить? как решить х^2 - 5 = sqrt(x+5) ? Как вы вообще догадываетесь как это решать? Просто знатете много приемов решения и подставляете их пока не решиться?
>>203527100 в квадрат обе стороны возведи вообще, школьная математика вроде твоего примера, которая про задрачивание убогих трюков, к настоящей математике, которой занимается оп, никакого отношения не имеет
>>203520887 (OP) Сложно ли вкатиться в дискретную математику, алгебраическую геометрию, линейную алгебру, статистику, теорию вероятностей? У меня очень слабая база по математике, но как ни странно, я давно работаю программистом. Мобильные приложения, бекенд, 25 лет. Начал прогуливать лекции на темах дифференциальных уравнений, производных, в школе пропустил всю тригонометрию. Внезапно проснулся интерес к математике, начал перепроходиь первые пропущенные темы по учебнику. Программирую неплохо, хочется податься в криптографию или глубокое обучение, вот и хочу получить фундамент.
И ещё вопрос, насколько сложно учиться в математической магистратуре в России? И как понять, идти в прикладную или теоретическую?
>>203527272 ну так вот и интересно как этому учат. Всегда казалось тупым учить приемы решения всяких егэ ц вариантов. Типа надо может какое то понимание иметь или самому догадаться. Только как понимать то?
Алсо пробовал читать ландау лифшиа, слишком много всяких значков и тд. Их тупо надо заучить и станет проще? Или не обязательно и можно как то обойтись
>>203527484 В глубоком обучении нужно просто кучу данных ручками собирать, математика вся не тобой написана в тензорплове каком, короче ещё дальше от прогерства и математики и ближе к экселевским табличкам.
>>203527536 Они сами её не знают, выдрачиваешь задачи из модной книги типа как сдвинуть гору фуджи, ну там про люки, про яйца с многоэтажки, гномов и поезда с лампочками и всё, ты в их глазах гениус.
>>203527555 Ты уже мартышка, надо было (прикладным) математиком становиться, тогда бы разрабатывал мл либы/фрамеворки, а не юзал. А так ты один хуй выше своего потолка не прыгнешь, а потолок твой быть мартышкой.
Если оп ещё в треде, такой банальный вопрос, как ты думаешь, почему многие явления в физике точно описываются чисто математическими абстракциями? Мы можем выразить фундаментальные физические законы через математику и иногда даже очень точно, квантовая механика к примеру вообще почему-то работает на языке операторов, а так же в ней физически присутствуют вероятности - чисто абстрактная величина. Так как думаешь, наш мир стимуляция? Или есть какое-то хотя бы примерное обоснование сие совпадения?
>>203527568 у меня плохо с памятью, выучил решета эратасфена и прочие штуки типа физбаза, было весело когда решал все получалось. Через месяц забыл все и успешно на собеседованиях обосрался, так и с теорвеом и графами
>>203527606 Ну зачем так сурово? То есть получается, 99% программистов — мартышки? И неужели в 25 уже поздно вкатываться в математику? Мне всё-таки не 50+ лет, мозги в отличной форме и минимум лет 15 в ней будут.
>>203527639 Так то же самое можно русским языком описывать, просто на языке математики проще записать вот это всё, к тому же законы всегда лишь приближения, кто-то заметил закономерности и ок, до какого-то момента они неплохо работают, а потом плохо и нуждаются в уточнениях, вот если бы физика никогда не уточнялась и однажды угаданное со 100% точностью предсказывало бы всю хуйню, вот тогда да, было бы ууу. А так хуита. не оп
>>203527755 > 99% программистов — мартышки? Да. >И неужели в 25 уже поздно вкатываться в математику Поступай в вуз на очку и может и норм, там под лютейшей нагрузкой твой мозг превратится в немартышкинский. А сам ты такую нагрузку себе сделать просто не сможешь. Ну и имхо в 35 уже даже программировать тяжело, не то, что математика.
>>203527935 А я autonomous driving разрабатывал хотя по факту как и ты делал свою маленькую мартышкинскую хуйню вместе с ещё сотней таких же. >>203527976 Кресты.
>>203527606 Как не быть мартышкой? Я вот, например, сейчас на 4 курсе примата, знания какие-то есть, но в сумме хуй знает, я вот так думаю, что знаю и ничего полезного не могу придумать. Это всё уже пиздец? Или можно еще подняться до достойного уровня?
>>203527945 ну я понимал концепцию, но хз, может это не правильная концепция, например я понял в мл концепцю бэк пропаганейшена, но развернуто пояснить сейччас не смогу, так как разбирался с ней полгода назад
был норм тред, пришли прогеры и засрали всё своей хуйней. "бэк пропагэйшн", охуеть. вы бы про регулярные локальные кольца че-то слышали? нет? ну и идите нахуй.
>>203520887 (OP) ландау лифшиц подходит для изучения? Почему так много значков и как с этим бороться? Вот я например разобрался в пределах описанных там, как это применять?
>>203528074 >Как не быть мартышкой? Спроси у ОПа. Ну на своём примере надо было не бросать кружок матемтаики, надо было участвовать в олимпиадах, надо было поступать в топ вуз на бюджет на чистмат, надо было идти в аспирантуру, надо было... А получилось как получилось. Можно ли вот так просто без задней мысли всё это догнать? Пойми, там лучшие ебутся 6 лет по 8 часов, чел рассказывал в МГУ около сотки интегралов и прочей хуерги на вечер(!), а ещё другие предметы. Ты никогда себя не сможешь так заставить учиться, и ты обычный, там школьники охуенно подготовленные к такому объему, а у тебя это на сколько растянется, лет на 40? Да бред. >>203528101 Бля, за решето Эратосфена не сможешь пояснить,а за бекпропагейшн сможешь? Странно у тебя мозги устроены.
>>203528238 Мы сидели под шконками, пока ОП был тут, вопросы ему задавали и молчали. А ты нихуя не сможешь пояснить за математику, так что не выёбывайся. Или тебе можно вопросы задавать?
>>203528304 да и за бэкпроп не смогу, чисто на пальцах если и то почти нихуя уже не помню так как мл трогал только на уровне курсов на одном из образовательных онлайн сервисов
>>203528366 Я хотел бы хотя бы для начала задачки егэ из части цэ решать научиться. Но научиться не так, типа прочитал как решать часть ц запомнил и решаешь, а понимать как решать. Или можно скипнуть эту часть и переходить к изучению мат анализа и чистой математики?
>>203528403 >ml хуита Пришел к такому же выводу после прохождения курса. Какая то статистика на стероидах для смузихлебов. Практического применения ноль, особенно ору с всех этих антифрод ии системах, на которых навернуты супер алгоритмы, а по факту идет оценка того сколько у тебя на счету и сколько у тебя косяков по оплатам. И вссеравно все в итоге решается менеджером.
>>203528487 если тебе для егэ/поступления, то читай соответствующую литру, тип Ткачука. если для себя, то по матану можешь Зорича например попробовать, или, если поконцептуальней - Львовского.
>>203528343 >Или тебе можно вопросы задавать? я явно намного меньше опа знаю, на вопросы про выкатывания из прогерства в математику вряд ли отвечу, но мб что-то вроде базовой литры и могу подсказать.
>>203528487 >переходить к изучению мат анализа и чистой математики? Забей. Вычислительные методы - наше все. Аналитическая математика это как Лисп учить, для ебанутых фанатов.
>>203528607 >Какая то статистика на стероидах для смузихлебов Угу, ну с практическим применением я хз, делают же машины, которые сами ездят, но бля, я бы в неё очканул сесть если честно, у убера и гугла уже были инцеденты, после которых они свернули свою хуйню на доработку. Просто коряво пририсованная сиська в мемной проге это одно, сбитые люди совсем другое, хотелось ч0ткости и точности, чтобы математически доказали, что мол эта хуйня надёжна, чтобы гиперпараметры норм подбирать научились, а то сначала сидят тыкают в чёрный ящик как макаки ооо добавим слоёв оо добавим на тот слой побольше нейронов(пикрил), ну натыкали чего-то, что нихуя ничем не обосновано, никто не будет строго доказывать тебе ничего, просто вот натыкали и дают тебе его, готово, доверяй этой ебале свою жизнь.
>>203528616 Элементарно же и у тебя одно слово "счетного" лишнее, это примерно то же самое, что доказательство счетности N^2, что где-то в самом начале матана проходят
>>203528665 Ну я хотел бы ОПа спросить по >>203525901 Но ты наверняка не шаришь, а во-вторых порвёшься, мол логика это не математика, пиздуй в /pr и тд.
>>203528709 >делают же машины, которые сами ездят Ну типа посути они сравнивают же набор цифр если они удволетворяют определенному критерию, то это столб и туда ехать надо, а надо жать на тормоза. А вот насколько критерий точен никто не скажет. Это как ездить на машине ориентируясь на слух или через камеру у которой разрешение 100 на 100 пикселей
>>203528733 Вот реально, почему нет доски по логике, вычислимости. основаниям, и смешной хуйне типа комбы графов вероятности, типа 2ch.hk/cs какого-нибудь, а то в /math никто таким не интересуется потому что зашквар, в /pr потому что сложна, и кроме тредов этого анона и спросить больше негде.
>>203528882 >А вот насколько критерий точен никто не скажет. Ну говорят, что типа супер пупер точен, типа да, мы сбиваем людей, но и люди сбивают людей и гораздо чаще.
>>203528951 >подмножеств чего? Тебе в математику нельзя. Попробуй что-нибудб гуманитарное. Типа подмножеств яблок или апельсинов. В худой год - бобов сои.
>>203529001 я не он, но как можно посчитать множество? В чем смысл такого термина как счетное множество? Есть несчетное? Какой смыл? Зачем вообще нужны множества?
>>203528980 Базовая абстракция, кирпичик, теория множеств сорт ов язык математики, на нём можно дохуя каких понятий выразить, например вводишь кольца какие и уже потом оперируешь вот этим новым языком колец и тд и тп. Есть альтернативная база, теория категорий.
>>203529043 и что прям помогает? Почему говорят множество чисел, а не просто какое то число, или любое число. Почему говорят подможнество чисел, а не просто сразу пишут что это за подмножество типа [1, 5] из всех целых чисел. Зачем свой язык?
>>203529037 Счётные множества это бесконечные множества, в которых элементов столько же, сколько натуральных чисел, то бишь с каждым числом ты можешь связать один и только один элемент, а это по сути своей посчитать. Есть несчётные, их нельзя пересчитать, попытаешься пересчитать все и тут же получишь новый элемент, которого нигде раньше не было, а значит ты проебался и не пересчитал все. Типа того.
>>203529116 Клево, тоесть чем больше данных тем точнее статистика, клевая идея, прикрепим к каждому авто в мире каждый велосипед, + все погодные условия, цветовые вариации и загязнение поверхности автомобиля. Окей если убер такое сделает я может и покатаюсь на их беспелотнике ))00))) (нет)
>>203529112 >и что прям помогает? Да, пиздец как. Потому и юзают. Раньше словами все говорили, потом заебала хуйня типа бля я не так тебя понял и писать меньше теперь надо.
>>203529130 >>203529133 блин вот тоесть счетное множество это бесконечное множество натуральных чисел, зачем придумывать очередное определение? Или это имеет какой то смыл помимо того чтоб запутать и отпугнуть неопытных двачеров?
Вот почему все математики ебанутые на голову? У вас какое-то мышление странное что-ли. Я вот вас никогда не понимал и не смогу наверное. Мимо физик-кун.
>>203529161 Мощность множества сложное понятие, короче представь что ты имеешь в руках все в мире множества, и есть у тебя корзины с номерами, вот в корзину ОДИН ты ложишь все множества в которых 1 элемент, 1 яблоко, 1 дилдак, 1 запорожец и тд, аналогично в 2, 3 и тд, потом числа кончились и идут бесконечности, ложишь все счётные множества, все континуальные и тд Вот коробки и называются мощности. Два множества равномощны если лежат в одной коробке, то есть если уних одинаково элементов, то есть если каждый элемент одного связан с каждым и только с одним другого множества. Ну как если бы у них были руки и они по парам взялись короче.
>>203529197 >бесконечное множество натуральных чисел Нет, множество натуральных чисел это 1, 2, 3 и тд. А вот множество рациональных чисел то бишь все дроби оно тоже счётное и оно пиздец как отличается от натуральных, потому что между каждой дробью есть ещё одна дробь, оно плотное типа. А между 1 и 2 нет нихуя, но ты можешь расположить числители и знаменатели по бокам таблицы, а втаблица тупо поделить первое на второе и потом от угла змейкой начать считать и ты получишь что пересчитал рационльные числа, то есть это тоде счтное мнодетсо.
>>203529287 > а втаблица тупо поделить первое на второе и потом от угла змейкой начать считать и ты получишь что пересчитал рационльные числа, то есть это тоде счтное мнодетсо. Чет ты невнятную хуйню пизданул.
>>203529271 Мощность множества это порядковое число, которое можно определить как множество (или точнее отождествить каждое порядковое число с конкретным множеством). Есть счетные порядковые числа и есть несчетные.
>>203529328 >Не является, парадокс будет. С хуя? Мощность множеств тоже множество, его можно нумеровать даже, ставить в соответствие каждой используемой математиками "мощности множества" натуральное число.
>>203529376 Ставится в соответствие элемент "класса эквивалентности", транзитивная хуетень, а сам класс чем бы он ни был не является множеством. Нет множества всех одноэлементных множеств и тд.
>>203529465 Интонация и в математике бы решала, но там все письмами общались, письма по полгода шли, прикинь бугурт когда спустя полгода понял, что тебч не поняли.
>>203529431 >Ставится в соответствие Опять же, что это значит, биекция между ними, они равноМОЩНЫ, то есть как бы принадлежат одной мощности(хотя это не множетсво и вообще то-что0нельзя-называь)
>>203529363 Ну что ты в Декарта можешь (умеешь считать) - понятно. Декарт не катит, не учитывает "рекурсию". Если счетное множество счетных множеств счетно, то любой элемент в твоей табличке может представлять из себя такую же табличку, заебешься с бесконечными индексами. Это проблематика мощности бесконечных множеств, которая начинается с отрицательных.
>>203529600 Бред это определять множества через натуральные числа и считать равномощными множества целых чисел и натуральных, тогда как целые числа мощнее натуральных ровно в два раза.
>>203529716 я не тот кому ты ответил, прост охуел, как множество является своим подмножством? может еще скажешь что свое подмножество может являться своим подмножеством подмножества?
>>203529670 Чистым матаном никак. Приматчиком а-ля программист-математик можно поднимать даллары на всяких расчетах, в плане экономики и производства, например.
О,у меня есть вопрос. Вот есть число в степени,например 5 в пятой степени,это 3125. А есть пять в корне,это 25. Так вот. Зачем корни если есть степени ? я просто не понимаю
>>203529912 >ненужны >МАМ Я МАТИМАТИК >Реши интегралы, братик >ненужны >>203529913 >Совершенно неинтересные и бездарные матанозадачи, решаемые зазубренными методами Да, но суть то в том, что ты их уже должен знать.
>>203530006 >Никак. Тогда, если ты по сути не математик, нахуя мне тебя о чём-то с прашивать и кормить твоё вниманиеблядство? >>203530012 Не понял претензии.
>>203529629 Ну я не это имел ввиду, я имел ввиду, что нет множества всех одноэлементных множеств, например. Пусть X такое множество, тогда оно содержит {X}, противоречит аксиоме регулярности.
>>203530229 >Тогда явно. Некоторые школьники 4Б класса на уроке математики занимаются матиматикой, они все математики? Это так, к множествам. YES! Они математики школьного уровня. Траблы?
>>203530214 Критерий, но математиков хлебом не корми - дай понавешать матановых костылей с заковыристыми формулировками. Происходит неоправданное усложнение физических моделей, вместо оптимизации.
>>203530308 >Студенты получают стипендии, занимаясь математикой в том числе. Они математики? YES. Они математики уровня БАКАЛАВРА или СПЕЦИАЛИСТА в области математики. Проблемы? В данном случае у ОП-хуй заявил, что он >Математик-аспирант Выяснилось, что это нихуя не так. Проблемы?
>>203530376 >Может оправданное? настолько оправданное, что скоро будет проще самому выдумать модель и пользоваться ею, чем пытаться разобраться в нагромождении костылей и математических говн в той или иной современной теории >Мир сложен Клеточный автомат, преобразуясь согласно простым правилам при эволюции во времени приобретает сложную структуру.
>>203520887 (OP) Планирую вкатываться в теорфизику, для которой надо неплохо знать математику. Сколько приблизительно уйдет времени на изучение этих дисциплин, если я могу им уделять пару часов в день: -Линал + Ангем -Теорвер + Матстат -Теория групп + Общая алгебра + Теория представлений -Матан -Векторный анализ -Дифференциальные уравнения -ТФКП -Функан + Вариационное исчисление + Интуры -Численные методы
>>203525121 Да ничего, не видел хороших текстов. Самый честный ответ в том, что если разрешить алгебраическое деление на ноль и при этом не запрещать каких-то правил арифметики, то выйдет противоречие. Можно разрешить делить на ноль и запретить некоторые правила арифметики, либо же не честно делить на ноль, а делать "нечто что в бытовом смысле напоминает деление на ноль" - делить на бесконечно (=сколь угодно в окрестности точки) малые функции/последовательности в анализе, делить на инфинитеземали в линейно-упорядоченных полях и т.д. это ещё один пример того "расщепления" о котором я говорил, когда одной бытовой интуиции-картинке "делить 1 на 0" соответствует несколько формализаций. >>203525135 На аниме. >>203525150 Да куча, в той же зеркальной симметрии не понятно буквально ничего. Есть много гипотетических объектов которые по уравнениям могут существовать, а свидетельств не обнаружили (вормхолы, белые дыры). >>203525160 Если тебе это приносит страдания, то перейди во что-то прикладное, если нравится, то учи дальше, только ненадо "занаво с первого курса", просто смирись с тем что у тебя есть пробелы в определенных местах и наверстывай их по мере того как они тебе понадобятся. >>203525389 Разве что в прикладной. >>203523981 Так я уже пояснял, там вообще нету аналогов событий и их вероятностей, там есть только аналоги случайных величин и их мат.ожиданий. Самая простая "квантовая вероятностная система" это алгебра матриц nxn "квантовые случайные величины" с "мат.ожиданием" которое просто взятие следа. >>203525479 Ничего больше не приносило удовольствия, бывало конечно, вспоминал что у некоторых всё ещё хуже, а они как-то живут. >>203525488 Ну а как же принцип неопределнности? Если и симуляция, то на чём-то, что назвать "компьютером" язык не поварачивается, так что и смысла в слове "симуляция" нету особо. >>203525516 Да ерунду всякую, сейчас вот тима хекера, до этого мерцбоу, а до этого монеточку. >>203525534 :Х >>203525575 Шарю. >>203525585 Неправда, по крайней мере в моём микросоциуме. >>203525686 Захожу посмотреть на того чела который делает милые конспекты по материалам 1-2 курса, он милый. >>203525599 Фильм плохой, от фраз "векторное поле это не рациональная функция" вообще лицорука, сам Нэш гений безусловно. >>203525757 Матфак >>203525781 Список Каледина есть хороший. >>203525870 Нет, все друг с другом дружат и угощают тортиками! >>203525901 Что за момент, как ты формулируешь лемму? Больше контекста бы. >>203526134 Не, условие стабильности это условие на то что категория абелева, но в некотором высшем смысле. >>203526412 Общего алгоритма нет к сожалению, это теорема Мятисевича. >>203526469 Спасибо! >>203529684 Скроллил и случайно увидел. Ну это же баян, классика теории препятствий, потому что род Тодда дробный (3/4 емнип), а у многообразий допускающих комплексную структуру всегда целый.
>>203541209 Ебать, ОП, дождался тебя. Бля, на работу к 12, но пох. Слушай, вот есть >>203525901 вот такая хуита, там что делается, там берутся все вычислимые функции и как бы располагаются в ряд, чтобы каждой был номер присвоен, потом говорится что будет функция d типа диагональ, равная примененению n той функции к её же номеру, ну типа fn(n), затем доказывается, что она не может быть всюду определённой иначе можно построить вычислимую функцию, которая всюду отличается от диагонали, а такого быть не может, потом вводится другая функция D(x 0, которая равна 1, если d(x) = 0 и равна 0 если d(x) != 0 и неопределена если d(x) неопределена, ну и вот, говорится, что у неё нет всюду определённого продолжения, иначе опять же она бы получилась что везде отличается от диагонали.
Потом берутся множества тех x, где D(x) = 0 и множества тех x где D(x) = 1 и говорится, что их нельзя отделить никаким разрешимым множеством, иначе бы характеристическая функция этого множества всюду доопределяла бы D(x), те два перечислимых неотделимых множества.
Вот а потом типа уже про лемму Кёнига, что типа её эффективный вариант неверен, что вот есть дерево всех слов из 0 и 1, типа каждые следующие ветки это x0 x1 и тд, и что вот существует разрешимое поддерево полного двоичного дерева не имеющее вычислимой ветви.
Я так понял, что это делается так, берём те два множества нат чисел, перечисляем их, как только появляется число i из первого множества находим в каждой ветке i тый с начала узел и обрезаем у него правого ребёнка, если появляется число из второго то обрезаем левый. И получится, что каждая бесконечная ветка в таком дереве это подмножество, содержащее первое множество, но не содержащее второе(если на i месте 1 то содержит это число, а если 0 то нет), то есть если бы существовала вычислимая ветка, то функция, вычисляющая её была бы характеристической функцией множества, разделяющего первое и второе, оно было бы разрешимо, но мы доказали, что такого нет. >>203542098 ОПчик, вот почти ей док-во, но я не понимаю, почему это поддерево разрешимо!
>>203542123 Мне через 10 минут на работу, я убегу, я зайду с телефона часа через пол, пожалуйста ответь а то я реально хз почему поддерево разрешимо будет.
>>203542128 >очему это поддерево разрешимо! Типа вот есть у нас 010101110101011, как по нему определетить принадлежит ли оно дереву или нет, ну ок, перечисляем те два множества, два алгоритма плюются числами, если на этих местах стоит 1, а должно стоять 0 или наоборот, то всё, понятно что не принадлежит, но если всё ок, то у нас они просто будут бесконечно работать, например число 6 допустим не принадлежит ни одному из множеств, значит по идее нашему дереву поебать, что стоит на 6 месте в строчке 0 или 1, но алгоритм-то не остановится, чтобы это сказать, ну я хз короче вот надеюсь нормально объяснил.
>>203537045 Коммутативность тебе позволяет "локализовывать эффект в точке", если что-то просиходит, то оно происходит в какой-то конкретной точке, в математике говорят обычно "спектр коммутативной алгебре корректно определен". В то время как некоммутативные эффекты они происходят везде, но при этом ни в какой конкретной точке не происходят (прямо как бог). Поэтому удовлетворяющего всех понятия спектры некоммутативной алгебры нету.
>>203520887 (OP) как вообще можно описать черную дыру мат. формулой? Я к тому: насколько надо быть мегамозгом чтоб в единой формуле полностью описать ее физ. величины иксами/интегралами/мат. поеботой?
>>203544374 Если задача реальная, а не игрушечная, то нужно аккуратно какого-нибудь Навье-Стокса моделировать учитывая множество факторов (склон, скорость течения, состав воды и тд и тд) но я в таком плохо разбираюсь. >>203544406 Ну она как бы изначально "возникла" как мат. формула, задачи её описать и не стояло, удивительно скорее что язык формул оказался настолько удачным, что естественно взявшиеся почти из ничего формулы действительно описывают какие-то штуки в космосе (не все формулы в теории относительности оказались столь же успешными). >>203544449 Ага, а ты её спонсируешь своими налогами :3
>>203544692 А я и не намекал на хорошесть, я лишь позларадствовал что ты своим существованием поддерживаешь её существование, вне зависимости от твоего желания.
>>203520887 (OP) Как вкатиться в теорию графов? С какого учебника начать? Я для себя, просто заинтересовала тема. Из матана слабенько помню курс вышмата и неплохо для инженера знаю вычмат
>>203543145 Мне непонятно, почему это дерево разрешимо.>>203542539 Вот тут описал, как мы должны понять по строке, принадлежит она или нет этому дереву.
>>203543145 Типа если у нас число не принадлежит ни одному из множеств, то Нас все равно что стоит 1 или 0, но у нас нет алгоритма который бы сказал что число ни одному из множеств не принадлежит, так как они неразрешимы а только перечислимы,