>>205871065В основном для того, чтобы делать другую матишу, относительно мало, но на беззаботную жизнь хватает.
>>205871027 (OP)Задача"Когда корабли седьмого американского флотапришвартовались к станции Петушки, партийных девиц там не было,но если комсомолок называть партийными, то каждая третья из нихбыла блондинкой. По отбытии кораблей седьмого американскогофлота обнаружилось следующее: каждая третья комсомолка былаизнасилована, каждая четвертая изнасилованная оказаласькомсомолкой, каждая пятая изнасилованная комсомолка оказаласьблондинкой, каждая девятая изнасилованная блондинка оказаласькомсомолкой. Если всех девиц в Петушках 428 - определи, сколькосреди них осталось нетронутых беспартийных брюнеток?"
>>205871196Что такое ВКРМ? Перепишу все свои статьи и напишу какой-то титул в духе "Applications of Noncommutative Geometry", в принципе примерно так все и делают.
>>205871238Оформляй подобающим образом и отправляй в журнал соответствующей тематики.>>205871253Спасибо бля, Перельман велик.
Как на уровне интуиции понять, что сумма всех натуральных чисел равна -1/12? Сам факт я знаю, и даже знаю, что это числовой ряд сходится к этому значению. Но не понимаю.
>>205871295Смотрел фильмак про математика? Он там число Пи пытался вычислить? Чо это за злоебучее число, что его не определить?
>>205871295>Оформляй подобающим образом и отправляй в журнал соответствующей тематики.Я уже отправлял в журнал, но эти долбоебы сказали, что решение слишком нестандартное для этого журнала. Так и сказали, блядь, прикинь. Это ещё с тем, что там за публикацию платить надо.А что мне даст публикация в журнале? Мне заплатят деньги за решение теоремы? Или хотя бы слава будет? Какой мне смысл отправлять в журнал, если с этого не будет профита?
>>205871298Ряд не сходится к -1/12, верно другое, что сумма по Рамануджану ряда 1+2+3+... равна -1/12 или что zeta(-1)=-1/12. Интуитивно особо понять никак нельзя, ну или я не знаю, тупо вычисление.>>205871368Если теорема нетривиальная, то слава будет, особенно если ты любитель. Деньги не заплатят, если никаких призов за теорему не было объявлено изначально. Посылай тогда в другой журнал, во вменяемых журналах чаще всего платить за публикацию не надо.
>>205871460Пока нет. Да у меня работа довольно однородная, ну одна из открытых проблем которую я решил заключалась в том что нужно было особый контрпример сконструировать, это было довольно развлекательно, потому как надо было почитать доказательства каких-то случаев конкретных и понять где они ломаются для случая общего и эти слабости каким-то креативным образом проэксплуатировать.
Есть смысл вкатываться в математику если у меня нет абсолютно никакого образования? Даже девяти классов. Индусы же как-то кодят, а для этого вроде эти ваши алгоритмы нужны.
>>205871526Ну если очень хочется то есть. Для кодинга, как я понимаю, алгоритмы зачастую не нужны, за исключением каких-то специальных областей.
Роман Михайлов фрик? Насколько полезно и серьезно то, чем он занимается? На каком уровне нужно знать математику чтобы разбираться в его лекциях?
>>205871027 (OP)Почему мать твоя не сказала корзинке за великий и могучий английский язык? Ведь мог бы уже в Стэнфорде мыть писсуары
>>205871027 (OP)Оооо, привет, чувак, вопросов поднакопилось, что ж ты так поздно создаёшь, лол. Ну ща, ты долго тут будешь? Покурить хотел сходить, бля, ну что ж такое, завтра на работу ведь, вопросы по логике@вычислимости, ну ты меня помнишь, наверное.
>>205871027 (OP)Как быстро проверять конечные группы на гомоморфность и изоморфность, и такой же вопрос по группоидам?
двачер в тредедрочу хуйработаю погромщиком домамечтаю о тяночкеебашу в дотупью пивоем фастфудиз дома почти не выхожудрузей нет, желания жить еще есть немногозадавайте ответы пока я здесь
>>205871553Нет, математик очень высокого уровня, он же сотрудник питерской Стекловки, каким образом он бы им стал будь он фриком? Ну полезность и серьезность вещи сильно субъективные, но на мой взгляд скажем доказательство нетривиальности гомотопических групп двумерной сферы очень серьезный результат, а описание функтора правого точного Z-пополнения полезный. Ну по моим ощущениям он математик намного мощнее среднего, но до топовых ему всё же далеко.>>205871567Я и так в похожем месте.>>205871582Выходит мне не интересны интересные вещи и интересны неинтересные.>>205871586Да помню, да тред до завтра доживёт думаю и я смогу завтра и ответить, почему на MSE не задаешь вопросы кстати?>>205871596Не знаю что такое "проверка на гомоморфность". Для изоморфизма есть алгоритм Тарьяна за n^log n + O(1) про группоиды не знаю, не очень естественная задача.>>205871694Знаю о парадоксе берри.>>205871702Мне бы кто что-нибудь написал бы.
>>205871325>Смотрел фильмак про математика? Он там число Пи пытался вычислить? Чо это за злоебучее число, что его не определить?>>205871027 (OP)Хули ты вопрос проебланил то?
>>205871027 (OP)Есть ли шанс математику аспиранту найти тяночку за границей? Или когда рассказываешь про свои солидные 2к евро стипендии сразу воротят нос и говорят "фу нищук"?
>>205871746>почему на MSE не задаешь вопросы кстати?К сожалению не знаю, что это. мат.стекексчендж? Ну не знаю, я ж двачер, мб и буду так делать, если ты про него, я там часто что-то смотрю. Ну а сам вопрос такой, вот есть функция sign(x), она вроде как невычислима, мы не можем вычислимое действительное число с нулём сравнить и всё такое, ну ок, но там же я прочитал, что несмотря на это функция модуль(х) будет вычислима, тип х это вычислимое действительное число, то есть приближается последовательностью рациональных чисел, а модуль от рационального числа вычислим. Ок, хорошо, но дальше я прочитал такую вещь, типа что всякая вычислимая функция непрерывна. то есть если функция разрывна, то она невычислима, И хорошо, думаю я, возьмём мы функцию модуля и пусть если число меньше 0, то функция совпадает с модулем, а если больше, то будет модуль + 1 и по идее мы точно так же ведь можем брать последовательность рациональных чисел и брать эту функцию от них, почему же такая функция не будет вычислима? Где я наебался?
>>205871767У-у-у бля сорри, думаю что все художественные фильмы про математиков смотрел, вот такое вот злоебучее число!>>205871782Диплом хуевый судя по названию, в дипломе должна конкретная тема быть, потому что он должен строится вокруг одного конкретного результата.>>205871801Чтобы не ебать себе этим мозги, я нашёл себе тяночку не за границей и увёз за границу. Профит.
>>205871821Где-то в каком-то научпоп журнале было написано, что есть истинные (математические) утверждения, которые невозможно доказать. Это о чем вообще? И как доказывается невозможность существования доказательства??
>>205871746>Не знаю что такое "проверка на гомоморфность".Типа, проверка на то, что одна группа является подгруппой другой, или что в группе есть такой нормальный делитель, что фактор изоморфен некоторой данной второй группе.>Для изоморфизма есть алгоритм Тарьяна за n^log n + O(1) про группоиды не знаю, не очень естественная задача.Ну, для группоидов это должна быть проверка изоморфизма графов.
>>205871027 (OP)Есть ли области математики, которые совсем ничего полезного для ИРЛ не дали, даже опосредованно (то есть влияя на развитие полезных для ИРЛ разделов)?
>>205871880Теорема Гёделя о неполноте. В двух словах хуй объяснишь. Если и правда хочешь разобраться, то прочитай книгу Гёдель, Эшер, Бах. Там очень плавно объясняется эта тема и многие другие плюс их связь с реальным миром.
>>205871821Есть кста вообще какие-то книги или задачи по этой херне, желательно с решением? Мне и сказали что мой диплом большим не должен быть. Я про гиперкомплекс в геометреи..
>>205871937Теория моделей и прочая еботня в стиле "что получится, если отменить аксиому выбора".не-ОП
>>205871854Ну проблема та же сама что и с sign: любая вычислимая функция должна по конечному куску информации о числе входе дать конечный кусок информации о числе результате. Ты не можешь аппроксимировать f(x) в точке разрыва используя только конечный кусок информации о последовательности коши.>>205871880Да, это теорема Гёделя о неполноте. Сперва формализуется что такое "теорема" и "доказательство" в терминах некоторой комбинаторной машинерии, а затем руками строится строка-теорема которую правилами вывода из аксиом получить нельзя, для доказательства того что нельзя используется самореферентность.>>205871937Ну тут зависит от того что значит "полезное" и "косвенно". В моём понимании - почти все области ничего полезного не дали.>>205871994А мне французы нравятся.>>205872030С решением чего? Ну почитай про использование кватернионов чтобы вращения R^3 кодировать, или про использования дуальных чисел чтобы кодировать инфинитезимальную информацию о геометрических объектах, о том что морфизмы Spec C[x]/x^2 -> Y соответствуют выбору точке+касательного вектора в точке в Y. Ты бы уточнил чё от тебя хотят, а то "гиперкомплексные числа" и "использование в геометрии" понятия мягко говоря растяжимые.>>205872056Ну есть finite model theory которую добрые языки говорят что в теории баз данных используют, но сам я не знаю. Ты про reverse mathematics говоришь, ну это вообще как минимум полезно для того чтобы понимать чего ждать от автопруверов.>>205872130Не знаю! Думаю что никак!
>>205872216а эта оп можешь ответить вот почему в теории деформаций используются именно дуальные числа то есть R[x]/x^2, почему именно x^2=0 а там не куб или другое что-то? это мы как бы имеем ввиду что x - бесконечно малая величина и её квадрат нулевой?
>>205871027 (OP)Расскажи подробно каким именно образом у тебя сформировался интерес к математике? Стояла ли за этим интересом конкретная сформулированная цель?Было ли тебе просто "интересно"? Было ли стремление выебнуться или просто показать себя в сравнении с конкурентами в школе?Есть ли у тебя интерес к биологии?
>>205872202Что такое рыночники? Основные деятельности 3: тичинг - нужно преподавать и читать семинары, курсы - за 4 года нужно сдать определенное количество учебных курсов и, собственно, написание пхд тезиса - за 4 года при помощи научного руководителя сделать чё-нить заебатое и оформить это в виде тезиса. Есть вторичные занятия - чтение докладов, шароёбство по конфам, написание статей, подавать заявки на участие в грантах. Таки дела вот.>>205872249Потому что оцениваю своё время выше чем профиты от предполагаемой прибыли.>>205872292Ну да, деформация первого порядка, потому что хотим научиться деформировать хотя бы "с точностью до первого порядка малости" что кажется интуитивно простым, потому что там всё линейно, что приятно, а x^3=0 это уже деформация "с точностью до второго порядка малости". Можно вообще деформировать просто с параметрами в k[[x]] это то что formal deformation quantization называется.>>205872302Если конец иглы точечный и ангел точечный, то думаю что сколько угодно или 1, в зависимости от того могут ли два ангела стоять на одном и том же месте.
>>205872360Рыночники это продавать свои мозги за бугор за доллары и тратить эти деньги здесь. Бизнес. А так ты просто распильщик бюджетов.
>>205872216> Ты не можешь аппроксимировать f(x) в точке разрыва используя только конечный кусок информации о последовательности коши.То есть будет у меня например приближаться так -0.1 -0.01 -0.0001 и тд и моя функция будет говорить чувак, это число меньше 0, но на самом деле это приближение к 0 и ответ должен быть 1. Ок, а почему с модулем это прокатывает? Ну потому что он непрерывный в точке 0, а что это даёт? А даёт это то, что предел в этой точке существует и равен значению этой функции, типа limx - > 0|x| = |0|, ага, у нас число вычислимо стремится к 0, поэтому непрерывность гарантирует, что никакой хуиты не случится и для заданного еспилон вычислимый модуль будет отличаться он настоящего не более чем на этот епсилон. Ебать, ну я походу понял, да.
>>205872360>сколько угодно или 1Но-но, внимательнее надо быть. А если у ангелов есть спин, и они соблюдают запрет Паули? Тогда на одном острие будет помещаться ровно два ангела с антипараллельными спинами.
>>205872357Учавствовал в олимпиадах из-за спортивного интереса, интерес выебнуться на этот момент был. После того как поступил в ВУЗик интерес выебнуться постепенно ушёл, потому что ВУЗ был крутой и я тут выёбываться элементарно не мог, потому что люди были круче меня. Но интерес выебнуться заменился некоторым "интересом коллекционера математических фактов", мне просто нравилось узнавать всё новые и новые факты и на основе их переосмысливать и перестраивать свой математический унивёрсум. К тому же у меня это неплохо выходит, поэтому есть некоторое позитивное подкрепление.>>205872390Согласен.>>205872414В России во ВШЭ и НМУ мне кажется.>>205872416Да, специальная комиссия авторитетов собирается и обсуждает сколько у какого работяги отобрать денег и какому из своих математиков передать, очень влиятельная кстати, не советую её злить такими вот постами на двачах.
>>205872512Очень интересная мысль. А если точечность иглы квантована, и не может быть ниже определённой величины?
>>205871880Ну так-то все формулы, выводимые в теории, должны быть верны во всех её моделях, теория полна, если для любой формулы теории либо она, либо её опровержение выводимы, то есть если в какой-то теории ты найдёшь формулу, которая в одной модели истинна, а в другой нет, то вот ты и доказал по сути, что эта формула невыводима.
>>205872551Оче сложно звучит. Есть какое-нибудь конкретное короткое выражение, которое нельзя доказать пользуясь теорией действительных чисел (или как там называется математика обычная)?
>>205872438Нихуя себе! А то я как долбоёб объяснил, просто не хотелось расписывать 3 абзаца вводить обозначения и тд. Изи толка хотелось.>>205872475Да, поясняю только за 0^0 пока что>>205872522Бедный илон маск, дай ему бог здоровья.>>205872551Ну в нетривиальных случаях построить эти модели не проще чем доказать невыводимость формулы.
>>205871880Гугли книгу "Гёдель, Эшер, Бах". Там тебе на пальцах для тупых расскажут о том, как это можно доказать самостоятельно.
>>205872587>то есть если в какой-то теории ты найдёшь формулу, которая в одной модели истинна, а в другой нет,Например теория плотных линейных порядков, у неё есть модели вида [a, b) (a, b) [a, b] и (a, b] например, можно написать формулу "существует элемент х, такой что не существует элемента меньше х" в двух она будет истинна, в двух нет, вот считай и доказал, что эта формула невыводима.
>>205871027 (OP)не жалеешь что избрал сей путь? Я сам всегда любил математику, но из-за траблов с физикой ушел в биологию, кончил в этом году аспирантуру по биологии, но до защиты еще как минимум год усердного дрочева с материалом.
>>205872589> Да, поясняю только за 0^0 пока чтоМатематик, блядь, ты для начала посяни что такое ноль как таковой. И без вот этих твоих тухлодырых вскукареков в стиле "ноль это когда а+0 =а, куд кудах!", маня.
>>205872589>А то я как долбоёб объяснилНормально, я всё понял, просто расписал для понимания так сказать. Слушай, но есть ещё вопросы, вот скрин, множество G это короче произвольное множество вычислимых функций, образцы это короче вот из этих вот вычислимых функций мы выбираем те, у которых область определения конечна, U это вычислимая главная универсальная функция для вычислимых фунций одного аргумента. Ну и вот, тут типа такие заметим, что множество T перечислимо, ну и я не понимаю, как переход получается о того, что их можно закодировать, до того, ну в общем слово Поэтому мне непонятно, я это доказал по другому, стал перечислять параллельно по номерам наших функций их списком (аргумент, значение) ну типа (1, 1) потом (1, 1) (1, 2) и тд, на каждом таком шаге кодировать получившийся конечный список(получается некоторое число), потом по этому числу нахожу его номер в главной универсальной функции, ну и перечисляю список номеров в G(по условию оно перечислимо, там выше, ну пик 2 короче), если нашлось отлично, печатаю его и типа таким образом я T перечислил и ок. Но доказательства из учебника нихуя не понял. Вот именно Поэтому где. Можешь объяснить?
>>205872708Нет, пока всё нравится.>>205872712Чтобы сказать что думаю.>>205872771Куд кудах, a+0=a, куд кудах!
>>205872826>Куд кудах, a+0=a, куд кудах!Вот есть гомологии, а есть когомологии, но гомологии по отношению к когомологиям кокогомологии, а когомологии по отношению к ним кококогомологии, а они по отношению к ним.... по отношению к ним кокококококококококококо...
>>205872774если это ты сюда >>205872737 писал, то объясняю:я ненавидел физику, но не как предмет. А от страха перед училкой, которая орала до дребезжания стекол. И училка с седьмого класса по предмету не менялась, я даже не предпринимал попыток выучить предмет или разобраться самостоятельно, под конец школы понял, что даже за год весь курс не смогу осилить, а денег на репетиторов не было. Одно дело найти решение математической задачи, а другое - составить математическую задачу из физической, но иногда это получалось и я даже получал какое-то удовольствие от решения. Такие дела.
>>205872780>ПоэтомуНу типа ок, прообраз перечислимого множества при вычислимой функции перечислим, но о какой функции речь тут? Если о той, которая переводит номер в двуместной вычислимой функции в номер в универсальной, то непонятно опять же, потому что там слева у нас образцы, а справа кроме них ещё дохуя необразцов так сказать, какой мы прообраз берём чего, не понимаю.
>>205872826Кем работаешь, оп? мнс? нс? На кафедре или в каком-нибудь институте трудишься? Или по профилю пока не берут?
>>205871027 (OP)1.скок лет?2.тянучка\дети есть? планируешь? 3.что делать по жизни собираешься? 4.самообразование котируется у математиков?5.ты счастлив?
>>205872826> Куд кудах, a+0=a, куд кудах!Ясно, как я и предполагал ранее, ты не аспирант, а обоссаный школьник.
>>205872930откуда столько токсичности? пришел человек на твою помойку от всей души тебеимбецилу отвечает на идиотские вопросы а ты червьпидар как так то?
Поясни за выдуманные числа. Было все на одной прямой, потом херак, над ними целая куча i. Что мешает на оси z поместить квантовые числа, и в четвертом измерении суперструнные? Кому это пришло в голову и для чего? Сколько видосов смотрел, понял только, что все мандльброты херачить любят, все ради них.
>>205871027 (OP)Насколько обоснованы рассуждения финитистов о том, что бесконечные суммы тех же рядов - это во многом логические фокусы, а не строгое рассуждение о функциях и числах?К примеру, взять 0.(3) как сумму 3-в-10-минус-n-ой-степени - там совершенно понятно почему оно близится к 1-й-3-й, но насколько валидно говорить, что это идентичные сущности? Они ведь явно порождаются разными процессами. И если зациклившееся деление вполне легко можно затормозить на любом из шагов и прибавить к нему дважды ещё 1-у-3-ю, то единица получается совершенно очевидным образом.В случае с рядом вывести единицу будет таки кроликом из шляпы.
>>205873084Тащемта давно уже есть комплексные числа в больших размерностях.Нужно это было изначально для решения уравнений, далее уже выяснилось что от них вообще много полезностей в физике. Да и нет никаких причин почему бы не работать с такими числами.
>>205873498 https://en.wikipedia.org/wiki/Quaternionhttps://en.wikipedia.org/wiki/Hypercomplex_numberВот эти ребята, дальше уже можешь по ссылкоте пробегаться.
>>205873546А, ну один хуй там т. Фробениуса, особо не навыдумываешь таких чисел, чтобы они обратно совместимы с вещественными были.
>>205873440Матан учить не нужно. От слова совсем. А то будешь, как додик, сидеть на дваче и спорить о кватернионах
>>205873622Ну знаешь, бля, а хули ещё делать если так подумать, это хотя бы нескучно. Фильмы кал, аниме хуита шаблонная, чё делать то?
>>205873687Не прёт, хотя слух норм. Музыку слушаю постоянно, слушать нравится, а играть не завлекает чёт.
>>205873747Бизнес вообще не нравится, кал унылый. Ну не кал, если интересно такое, то норм, но мне вообще неинтересно.
>>205873809Пробовал чайник делать в 3д максе и в игрухе одной крылья к броне приделывать, ну такое, занудно, помню бля заебался там пиксель влево пиксель вправо и крылья в воздухе висят по еблански, опять перезаходить и двигать, чтобы норм было. Кропотливая хуйня, не моё.
>>205873854Пиздос... А ведь на работу к 10.>>205873857Я неуклюжий уёбок, в детстве на танцы ходил, полная хуйня.
>>205873895Не, танцы это заебись, я не спорю. Древнейшая форма молитвы, кто заебись танцует, тот заебись пространство ощущает и всё такое.https://www.youtube.com/watch?v=jy65XvRiiQAС другой стороны не можешь срать не мучай жопу. Ладно, я спать, оп походу не придёт уже, и так завтра охуею.
>>205872880Тогда понятно. Просто я сам когда-то ходил на олимпиады по физике, и большинство проблем было именно из-за математики, которую обычному школьнику никто на таком уровне не объяснял.
>>205871027 (OP)вот смотри, первая производная функции отвечает за промежутки возрастания/убывания, вторая за промежутки выпуклости/вогнутости, если ли подобный смысл у третьей производной?
>>205877613ля, немного не так написал, знак первой производной отвечает за возрастание/убывание функции, знак второй производной отвечает за выпуклость/вогнутость.есть ли какие геометрические свойства функции, связанные со знаком третьей производной?