Модерируемый. Вайп, спам, щитпостинг трётся, всё остальное разрешено. По настоянию модератора предыдущий тред остается на растерзание школьникам, теперь постите сюда.
>>19822 Один из моих учителей, великий Израэль Моисеевич, однажды сказал мне. - Что это вы тут всё пыжитесь, Эдик. Вы вот говорите что учите математику, а по-моему вы говно! - ... Спасибо, Израэль Моисеевич, я сегодня многому научился...
>>20085 Чувак создал теорию по человечески в которой все было понятно даже для даунов. А потом пришел топологист, перевел всю теорию на топологистическое наречие,все ему кинули респект дали в туза, филдсовскую премию, а про изначального чувака забыли. И это при том что изачальная теория была про геометрию уровняпифагоровых штанов, а в итоге топологист сделал из нее теорию чисел.
>>20085 >>20091 Короче, изначально ве было просто, потом пришел топологист и сделал все сложно, все охуели и сказали что он малаца, все правельно сделол.
>>20091 >>20093 >>20105 притча_про_слепцов_и_слона.ткст Это как раз и есть про чистую теорию чисел, в которую пришли модные манятопологи-деривативныегеометры, посчитали "гомологии", т.е. перелили из пустого в порожнее, сказали что "многообразия и дырки" и типа это "результат", в то время как на математика, открывшего собственно суть дела всем стало насрать вместе с его работой.
>>19943 Как только ты думаешь, что твоя теория в безопасности от геометретардов, приходит какой-то там алгебраический тополог и вычисляет группы гомологий твоих структур ПРОСТО ТАК, без причины, теперь вся область исследований основана на "работе" этого парня, ему дают медаль филдса, а о твоей работе все уже забыли. Следом ты узнаешь, что структуры которые ты описал представлены как абстрактный теоретико-числовой концепт НИКАК ВООБЩЕ не связанный с геометрией, который затем мутирует и будет, в конечном счете, запомнен как извращение оригинального концепта с n-мерными дырками, для n>27 в специального вида n+1-мерном пространстве. ЭТО ЖЕ ТЕОРИЯ ЧИСЕЛ, ЕЕ ИЗОБРЕЛИ ПРОСТО ЧТОБЫ ПРОВЕРЯТЬ ИДЕАЛЫ В ТАКИХ-ТО ОБЛАСТЯХ ЦЕЛОСТНОСТИ НЕНАВИЖУ ТОПОЛОГОВ >>20085 Учи англюсик, ради мамы с папой.
>>20983 >Следом ты узнаешь, что структуры которые ты описал как абстрактный теоретико-числовой концепт НИКАК ВООБЩЕ не связанный с геометрией, был изменён и будет, в конечном счете, запомнен как извращение оригинального концепта с n-мерными дырками, для n>27 в специального вида n+1-мерном пространстве. >ЭТО ЖЕ ТЕОРИЯ ЧИСЕЛ, А ЭТА ШТУКА БЫЛА НУЖНА ПРОСТО ЧТОБЫ ПРОВЕРЯТЬ ИДЕАЛЫ В ТАКИХ-ТО ОБЛАСТЯХ ЦЕЛОСТНОСТИ >НЕНАВИЖУ ТОПОЛОГОВ Пофиксил
>>19779 (OP) >Радушие французских коллег простиралось до того, что они приглашали меня на конгресс Бурбаки. Когда же я ответил, что совершенно не сочувствую этой секте, то мне объяснили, что они считают меня «московским бурбакистом»
>>25438 >Когда немецкий ребёнок в Бонне, барахтаясь в луже лежа на спине, кричал матери: «ПУЧК! ПУЧК ПУЧК! ДЕДЫ КАРТОФАН!», она краснела и старалась заглушить политически некорректного сына.
Второй пример — олени. Когда в лесу их становится слишком много, они делятся на две группы. Первая группа — более настырные особи — захватывают лучшие угодья, где хватит пищи и им, и их потомкам. Вторая группа — менее настырные — уходят на неудобные пастбища и там ведут тихую и мирную жизнь. По-видимому, они играют в весёлые игры, перепрыгивают друг через друга, занимаются наукой и философией, поют и сочиняют стихи — на вид они совершенно счастливы, и самое главное отличие от настырных их родственников состоит в том, что они вовсе не размножаются и не приносят потомства. В результате еды для всех хватает и олений род в лесу сохраняется.
>>25724 Не все деэволюционированные люди впали в полное скотоподобие. Некоторые удержали свой ум, утратив при генетическом вмешательстве Ку все свои физиологические преимущества. Данный вид был самой яркой иллюстрацией этого. Во время господства Ку их разводили как певцов и хранителей памяти, работающих скорее подобно живым записывающим устройствам. Когда их хозяева ушли, они с трудом выжили, вернувшись к четвероногому положению тела и заняв нишу стадных травоядных животных. Это изменение было настолько резким, что едва эволюционировавшие Челолопы не погибли только из-за всепрощающей стерильности их искусственной биосферы. Челолопы, наделённые полным (лишь слегка заторможенным) человеческим умом и совершенно непригодными животными телами, вели агонизирующую жизнь. Они были способны видеть и понимать мир вокруг себя, но из-за своих тел не могли сделать ничего, чтобы изменить его. На протяжении веков печальные стада бродили по равнинам, распевая песни об отчаянии и потере. Вокруг этой ущербной расовой немощности были созданы целые религии и изустные традиции, столь же драматичные и детализированные, как их аналоги на Земле ушедших времён. К счастью, селективные силы эволюции сделали их агонию недолгой. Проще говоря, развитие мозга не давало преимуществ, если его нельзя было хорошо использовать. Глупые полуразумные Челолопы росли быстрее, чем умные, а также эффективнее использовали пастбища. Звероподобные дети Челолоп заменили их самих менее чем за сто тысяч лет, и их меланхоличный мир умолк навсегда.
>>21594 Андре Вейль придумал что топология это теория чисел, а теория чисел это топология, и завещал доказать ряд утверждений про это соответствие. За работу принялся Серр, стало понятно что одному там не справиться и Серр подключил Гротендика, который по мере решения сообразил что развивать теории ему куда интереснее, и придумал этальные когомологии и топосы. ТЧбляди до сих пор горят.
>>27683 Soft или flasque? В любом случае, такие пучки хотя бы injective, that means you're getting in some locally ringed space. Лучше вялое отображение вложения, чем никакого.
ПУЧК! А я люблю обмазываться современным категорным калом и дрочить. Каждый день я хожу по доске с черным мешком для мусора и собераю в него весь категорный кал, который вижу. На два полных мешка целый день уходит. Зато, когда после тяжёлого дня я прихожу домой, иду в тред для начинающих, говорю новичкам, что их математика не математика…ммм и измазываю тред категориями. И дрочу, представляя, что меня поглотила единая категория. Мне вообще кажется, что категории, умеют думать, у них есть свои семьи, города, чувства, не смывайте их в унитаз, лучше приютите у себя, говорите с ними, ласкайте их…. А вчера в ванной, мне преснился чудный сон, как будто я нырнул в море, и оно прератилось в копредел, функторы, кольца, поля, все из говна, даже первая культура, даже Аллах!.
Почему, мистер Брауэроёб, почему? Во имя чего? Что Вы делаете? Зачем, зачем отвечаете? Зачем продолжаете спорить? Неужели Вы верите в какую-то миссию или Вам просто страшно признать, что вы ошиблись? Так в чем же миссия, может быть Вы откроете? Это свобода, правда, может быть вычислимость или Вы боретесь против исключённого третьего? Иллюзии, мистер Брауэроёб, причуды восприятия! Хрупкие логические теории слабого человека, который отчаянно пытается оправдать свое существование: бесцельное и бессмысленное. Но они, мистер Брауэроёб, как и аксиома бесконечности, столь же искусственны. Только человек может выдумать скучное и безжизненное понятие "конструктивизм". Вам пора это увидеть, мистер Брауэроёб, увидеть и понять: Вы не можете победить, продолжать борьбу бессмысленно! Почему, мистер Брауэроёб, почему Вы упорствуете?
Рисование стрелочек раздел фукционального программирования. Вся математика делится на нечеткую логику, теорию алгоритмов, и машинное обучение. Гамалогии это не математика, прекращай, Миша. Основной результат математики – изоморфизм Карри-Говарда, за него должна быть дана Нобелевская премия. Премию Полей и коммутативную премию дают за всякую чушь шизофреническую. Поэтому математику никто не уаажает, дискредитировали все гомологии. В странах первого мира вся наука делается на кафедре философии математики. Мартину-Лёфу обучить бы дураков из Гарварда, да боюсь бесполезно.
>>31804 >knows many different areas of mathematics Жирно. Алсо там какой-то сборник из праграмиста, инженера и прикладного математика. Такого не бывает, а если и бывает, то не с такой зарплатой. >expert unix skills Их и у праграмистов-то нет. >python >r >c >c++ >fortran Нет людей, которые пишут более чем на двух языках из этого списка.
>>31927 >Нет людей, которые пишут более чем на двух языках из этого списка. Действительно, потому что нет людей, которые пишут хотя бы на одном из этих языков.
>>31928 На C писали программное обеспечение для марсхода Curiosity, это в принципе язык инженеров, Линус Торвальдс пишет только на C. C++ тоталитарная секта на самоподдуве. На Фортране писали 50 лет назад. Про Пайтон говорить нечего, это просто говно.
You've got it all wrong. Унитаз поставил Андре Вейль. Напучкал Жан Лере, но не в унитаз, в концлагере их не было. Серр взял пучки и обмазал ими унитаз. Многие люди пытались оттереть руками и тряпкой, например Пьер Картье, но не получилось. Гротендик придумал метод затопления. Берешь теорию, заливаеш ей все как чистящим средством и ждешь пока само отойдет. В качестве средства подошла теория категорий. Вот он затопил 80 страниц пучков в 1500 страницах категорий, и чтобы не ждать, пошел придумывать этальные топосы, мотивы, дериваторы и стэки (стоки?), неабелеву геометию и те де. Отошло уже не при нём, премию за отчистку дали Делиню.
Тиория КАЛец вот какая математика. Когда посрёшь говно на анусе в кольцо сворачивается и надо жопу вытереть вот это говно и есть КАЛьтсо из теории КАЛец. А функторами надо его вытирать гомоморфно.
Было интересно, как доску только-только сделали. Мемы, N–петух и прочее. Сейчас одна тупость. Больше никогда ни сюда, ни на двач заходить не буду. Пока-пока, дорогие.
Жаль, что форум МодулиНадКольцами не взлетел. Может в другой жизни всё сложится лучше.
>>40126 ПУЧК ПУЧК ПУЧК НИ ХОЧУ АНАЛИЗ УЧИТЬ ХОЧУТ АЛГЕБРАИЧЕСХУЮ ГАВНОМЕТРИЮ С ПУЧКАМИ ПУЧК И МНОГООООООБРАЗИЯМИ МАНЯФОЛЬДЫ МОИ СЛАДКИЕ РАССЛОЕНИЯ ВЕКТОРНЫ ВОТ ОНА АЛГЕБРА ТИОРИИ ТАМ ВСЯКИЕ А ЗАДАЧИ ЭТО ДЛЯ ИНЖИНЕРОВ ОНИ ТАМ ИНТРИГАЛЫ СЧИТАЮТ ДИФФУРЫ А МАТЕМАТИКА ОНА В ГОМОЕТРИИ КАТЕГОРИИ СЛАДКИЕ ПУЧК ПУЧК ПУЧК ВОТ ОНИ Я НИ ОДНОГО ИНТЕГРАЛА ЗА ЖИЗНЬ НЕ ВЗЯЛ А КТО ВЗЯЛ ТОТ ПРЕДАТЕЛЬ ВТОРОКУЛЬТУРНЫЙ И КАТОФАН С ВОДОФКОЙ ДЕДЫ ИНТЕГРАЛЫ РЕШАЮТ НИ МАТЕМАТИКА ЭТО ПУЧК АНАЛИЗ НА R НЕ НУЖОН ТАК Я СКАЗАЛ АКСИОМЫ ТАК ВПОЛНЕ УПОРЯДОЧЕННОЕ НЕПРЕРЫВНОЕ ПОЛЕ ВОТ ТАКОЕ У R ОПРЕДЕЛЕНИЕ А ДИДЫ МНОЖИСТВА СЧИТАЮТ НУ НИЧЕГО ВОТ КАТЕГОРИИ ПРИДУТ С МОРФИЗМЫ НАВЕДУТ
ПОСТУПИЛ НА ФИЗМАТ @ ЗАЩИЩАЕШЬ ДИПЛОМ, РАССКАЗЫВАЕШЬ ПРО ПРАВИЛЬНЫЕ УГЛЫ ССАНЬЯ ДЛЯ МИНИМИЗАЦИИ РАЗБРЫЗГИВАНИЯ @ ПРЕПОДЫ В АХУЕ, ВСЕ МУЖИКИ МОЛЧА ВСТАЮТ, ПОДХОДЯТ К ТЕБЕ И ЖМУТ РУКУ @ ЕДЕШЬ НА МЕЖДУНАРОДНЫЙ СЕМИНАР ПО РАЗРАБОТКЕ ДЕВАЙСА ДЛЯ ПУСКАНИЯ СТРУИ ПОД ПРАВИЛЬНЫМ УГЛОМ @ ВНЕЗАПНО ОДНА ИЗ БАБ СПРАШИВАЕТ: "ПОЧЕМУ БЫ НЕ СИДЯ?" @ ЗАЛ МУЖИКОВ ОСВИСТЫВАЕТ ЕЕ И СНОВА ПРИНИМАЕТСЯ ЗА РАСЧЕТЫ
>>71520 надо исправить, чтобы после "Цифры и счёт" были ПУЧКИ с портретом ПЫНИ (где-нибудь на самом верху, чтобы кривая была покруче), после чего прямая горизонтальная линия в Гарвард
они познакомились (судя по всему) в рамках проекта дау кстати, снялись в лучших сериях -- "наташа" (очень круто) и "теория струн" (много клёвых чуваков)
>>72549 Куколд - это если бы он в реальной жизни с удовольствием наблюдал за тем, как его жену кто-то имеет. Мне кажется, порно - это другое, это просто работа, может быть даже творчество в каком-то роде.
>>72558 >окончившего аспирантуру лучшего университета в мире Вот-вот, набрался там он западных ценностей и стал куколдом, а вот учился бы на мехмате МГУ...
>>72549 Мне хоть и неприятен Каледин иногда, но Оля снималась не в генгбенгах и не в буккаке, а в обычном домашнем проне. Любую тян точно так же ебали, просто не на камеру. Что теперь не отношаться с ними?
>>72694 в целом, я поддерживаю его отношение к анонам вообще неприятным выше его назвал не я но вот мне тоже от него прилетело однажды, хотя я и не к нему обращался. А я ранимый, особенно, что касается отношения ко мне со стороны авторитетов
>>72686 Да ничем. Обычный мужик, который хуесосит быдло в интернете, а в жизни, вероятно, остается в рамках приличия и морали, иначе его попрут из науки.
Его нравственным обликом возмущаются, вероятно, инцелы-безотцовщины, которые хотели бы иметь батю как Каледин, но боятся себе в этом признаться.
Или, может, это латентные пидоры, которые хотели бы, чтобы Каледин выебал их в пердачелло и нарисовал на очке коммутативную диаграмму. Тут много леваков, а они неспроста возмущаются запретами гомосексуальных браков.
Слушайте, а Каледину с Вебритом уже по 50 лет, это что же получается, они стали теми самыми дидами? Уже сединой покрываются. Я вот ещё подумал, что Садовничий тоже же был молодым. Пыней своего времени. Вместо пучков тогда анализ был популярен, вот Садовничий как такая эталонная пынька агитировал за него. А потом состарился и стал дидом. Вот как Каледин теперь тоже дид. Где же современные математики? Садовничий Пыня вот такой новый перефорс, а тифологи диды. Вот так, да, пучк, гроот. А если путчки состаряться и картофеном будут? Где современная математика? Или алгеом вечен - пучок в печень?
Современных мощных молодых математиков ничуть не меньше, просто значимость результатов оценивается с некторым отставанием. Шурика еще лет двадцать после его семинаров знали дай бог человек сто.
https://ru.wikipedia.org/wiki/57_(%D1%87%D0%B8%D1%81%D0%BB%D0%BE) >{\displaystyle 57=3\cdot 19} — не простое число, его иногда в шутку называют "простым числом Гротендика", поскольку он, предположительно, предложил 57 как пример конкретного простого числа, что подчёркивается биографами, говорящими о его абстрактном мышлении[1]. Гротендик считать не умеет, хех. Он был тем самым студентам из историй Арнольда, ответившим, что умножение коммутативно, наверное.
>>72890 >он, предположительно, предложил 57 как пример конкретного простого числа Бля, а я читал об этом и даже не подумал, что 57 не простое. Вот, что значит сила авторитета, поверил Гроту на слово.
В свою лабораторую, я думаю, может кого угодно принять, главное результаты выдавать по плану. Ни что не мешает сделать одну сотую ставки на тысячу рублей в месяц.
Мне тут наверно никто не сможет помочь, но я попытаюсь. Я никак не могу понять закон единственности дополнения, для чего он нужен, как его вообще можно понять, это просто нереально. Я это фундаментально не понимаю, мне кажется что я столкнулся с какими-то существенными ограничениями моего мозга, с которыми я ничего поделать не могу и это меня бесит. Пожалуйста объясните для чего нужна единственность дополнения,как ее понять, как ее применять.
Говорят, что в 1970-е годы ныне почивший математик Пол Джозеф Коэн, единственный лауреат Филдсовской премии за работы по математической логике, сделал огульное предсказание, которое до сих пор продолжает как восторгать, так и раздражать математиков: «когда-нибудь в будущем математиков заменят компьютеры». Коэн, известный дерзостью методов в работе с теорией множеств, предсказал, что можно автоматизировать всю математику, включая и написание доказательств.
>>73689 Так все таки, какой вывод, американская школьная программа плохая или нет? Если они дроби складывать не умеют, то как они пусть даже эти 40 процентов набрали?
>>73695 Школьная программа плохая, в рашке сильнее намного, есть колледжи всякие, есть курсы на которых учат как поступить в колледж или университет, а в университете уже учат хорошо.
>>73695 У меня родственники живут в Америке, пару лет назад детей в школу повели и говорят, что школьное образование там вообще никакое в плане знаний, там вместо этого учат детей рассказывать о себе, выступать перед аудиторией и тому подобное, а знания дают совсем базовые, они после обычных уроков ведут их в русскую школу, где дают математику как в наших школах. Но всё это относится только к школьному образованию, университетское там лучше, чем у нас, видимо предполагается, что в школе тебя плюс-минус социализируют и дадут базу, чтобы сдачу мог посчитать, а остальное ты должен сам выбирать, понять, что тебе интересно, выбирать вуз, копить деньги на обучение там и уже в вузе тебя заебись научат тому, что тебе интересно.
>>73695 На мой взгляд в России хуже в том плане, что лучше уж пусть тебя ничему не научат и в вузике тебе дадут математику правильно, чем научат неправильно и потом в лучшем случае придётся переучиваться, а в худшем так и останешься дурачком на всю жизнь.
>>73701 Ну тут хуже, подобной культуры мат.школ нету вообще, то есть школьнику который математикой интересуется не будет знать вообще куда идти. >>73702 Ну такое, прослушать один раз неправильно а второй раз правильно лучше чем один раз правильно, я в этом убеждён, есть какие-то неформализуемые фундаментальные интуиции которые нужно выхватить вне зависимости от изложения, выхватывание происходит не с первого раза после прослушивания лекции, а с опытом после встречи с одними и теми же вещами несколько раз. Да и лектору (по анализу, скажем) проще если весь поток изначально знает что интеграл это площадь под графиком, даже если не понимают почему вычислительная процедура которую они проделывали, вычисляя интегралы, даёт то что нужно.
>>73707 >Ну такое, прослушать один раз неправильно а второй раз правильно лучше чем один раз правильно, я в этом убеждён, есть какие-то неформализуемые фундаментальные интуиции которые нужно выхватить вне зависимости от изложения, выхватывание происходит не с первого раза после прослушивания лекции, а с опытом после встречи с одними и теми же вещами несколько раз Ну хз, по мне так от неверных интуиций довольно сложно избавиться, для меня переучиваться сложнее, чем учиться с нуля.
>>73707 >вне зависимости от изложения, выхватывание происходит не с первого раза после прослушивания лекции, а с опытом после встречи с одними и теми же вещами несколько раз Я скорее не про лекции, а про наборы задач говорю, у одних задачи это тупорылое закрепление до автоматизма применения одних и тех же алгоритмов преобразования значков, у других это чуть ли не духовные практики, пройдя которые ловишь инсайт, проливающий свет на те или иные моменты.
>>73710 Вычислять нужно уметь, даже если вычисляешь листы какой-нибудь дикой спектралки с шизоидными пучкофункторами это всё равно вычисление, и я думаю что навык делать одни вычисления хорошо и аккуратно влияет на то, что ты делаешь другие вычисления в другом контексте хорошо и аккуратно. Если в школе учат вычислять это не самое плохое что в школе могли бы делать, а требовать от учителей чтобы учили думать глупо, во-первых учителя сами 95% не умеют думать, а во-вторых 95% школьников не умеют думать, да и не хотят.
>>73711 Ну так вычисления должны быть осмысленными, а не вот это вот всё. Впрочем да, >, а требовать от учителей чтобы учили думать глупо, во-первых учителя сами 95% не умеют думать, а во-вторых 95% школьников не умеют думать, да и не хотят. тут ты прав. Видимо у меня это личные обиды на школьных учителей, после которых пришлось фактически заново всё изучать. А может просто школа плохая попалась.
>>73713 Потому что компьютер не для этого сделан. Он для автоматизации в первую очередь. Для обучения вычислению в него надо вкладывать то, чего в нем нет. А зачем делать двойную работу, если вычислению уже учит само вычисление. Кстати, а итт какое мнение по поводу того, что математик должен уметь программировать или считаете, что это для адептов кудахтер саенс, а математик - это ментат, который с думающими машинами вообще не общается и решает только фундаментальные задачи на 200 лет опережающие современную индустрию?
>>73719 Может быть полезно. Можно рутинные вычисления автоматизировать, матрицы какие-то перемножать, например, можно поверхности всякие рисовать и потом крутить их, рассматривать. Посмотреть, как ведёт себя что-нибудь на [1, n]
>>73719 Программирование и кудахтер саенс это не одно и то же. Кудахтер саенс как раз знать нужно, хотя бы в плане моделей вычислений, формальных языков и алгоритмической сложности. Без этого не достичь полноценной рефлексии над тем, что происходит в твоей голове. Точно так же нужно хотя бы приблизительно понимать, чем сейчас занимается когнитивная лингвистика.
Между прочим, если кто не знает, то в момент зарождения CS программистом назывался человек, который рисует на листочке алгоритмы и доказывает для них всякие свойства - а кодеры считались младшим обслуживающим персоналом на уровне машинисток и электриков. Так что пердолиться по ночам и зубрить библиотеки - это воистину от лукавого.
>>73719 >что математик должен уметь программировать зависит от области, но в целом не должен, достаточно уметь пользоваться какими-то матпакетами и программировать на уровне школьника на паскале
>>73731 >Между прочим, если кто не знает, то в момент зарождения CS программистом назывался человек Да всем насрать, чем и что считалось во времена, когда по земле ходили динозавры. Сейчас другое время. Посмотри на календарь: какой там год? Все переходит на бизнесовые рельсы, да? Иди на хуй.
Раз математика это часть алгебры, изучающая модули над кольцами. То предлагаю определить программирование как часть алгебры, изучающую декартово замкнутые категории.
>>73966 >теория категорий не имеет отношения к программированию Так даже Вавилов говорил, что из алгебраистов получаются лучшие программисты. Вот так и получилось, что прогать лучше всего на категориях. Там очень глубокие связи есть между математикой Хаскелем и Монадами.
>>73960 >Предлагаю травить всех, кто заикается о программировании >Дихлофосом травить тараканов >>73966 >теория категорий не имеет отношения к программированию, я где-то пару дней назад уже объяснял это >даже если тараканы отныне так буду называть погромистов что-то стырили из теории категорий, она за это ответственность не несёт
>>74128 >так этот текст написал Михаил Потанин, функциональный программист, по образованию физик там так написано Там три разных текста. >у него здесь нет власти Есть. Он знает теорию категорий. >а не для чтения. Она не для чтения, а для проганья. Тут ты прав. С её помощью он прогает. >то их часть Это их часть.
>Есть. Он знает теорию категорий. с его точки зрения знает?
>Она не для чтения, а для проганья. трудно поверить, но попробую притвориться
>Это их часть. пока программист не выкатит доказательство теоремы митчелла-фрейда своими средствами можно другой важный результат, соглашаться с этим заявлением отказываюсь.
если теоркат часть программирования, программирование должно уметь доказывать теоремы из теорката. иначе всё это - брехня
Математика делится на мужскую, женскую и детскую. Имеется еще небольшое направление, не заслуживающее внимания, которое следует назвать гермафродитной математикой (бурбакисты и их последователи).
Большинство мужчин-математиков занимаются женской и детской математикой, а женщины-математики в основном развивают детскую математику, и только немногие ученые обоего пола способны сделать прогресс в мужской математике.
Имелись и другие попытки классификации математики. Например, недавно В.И.Арнольд разделил ее на шифровально-алгебраическую (КГБ-ЦРУ), военно-контактную (ВМФ) и военно-симплектическую (ВВФ и ракетные войска). Такое подразделение не выдерживает критики, так как, во-первых все финансирование всегда идет из одних и тех же органов, а кроме того, непонятно куда отнести топологию внутренних дел и геометрию государственной безопасности.
Другая, давно провалившаяся классификация (Германия 30-х гг., у нас - И.М.Виноградов и др.), подразделяла математику на классический анализ и национальный анализ. Но переплетение национальных судеб с одной стороны, и убогая аргументация авторов, - с другой, - свели на нет эту небезынтересную идею.
Но вернемся к нашей фундаментальной классификации по обобщенно-половому, а не (ма)тематическому признаку.
К мужской математике относятся все результаты, которые невозможно украсть без членовредительства. До последнего времени они в основном производились в России - классификация особенностей, КАМ-теория и еще несколько других. Мужской математике не страшны угрозы со стороны западных математико-мафиозных структур, которых я не называю из опасений за собственную жизнь.
Женская математика состоит по большей части из красивых, но бесполезных результатов (инварианты узлов и кос, теория овалов, проблема Ферма, априорные оценки). Как правило, такие результаты рождаются одновременно во многих местах и различить близнецов –невозможно.
Детскую математику в ХХI веке будут развивать дети, но до тех пор пока математическое образование находится в руках у гермафродитов-бурбакистов, дети не смогут серьезно заниматься наукой и детскую математику (перекладывание отрезков, различные квантования, случайные связи и т.п.) оккупировали взрослые математики 2-го и 3-го уровня.
Я хочу впервые отметить новый феномен перетекания мужской математики в женскую и обратно, который в зачатке существовал давно, а теперь после распада СССР и восточного блока, стал особенно интенсивным. Эти процессы можно сравнить с овеществлением и комплексификацией: в первом случае (овеществление) мужские результаты становятся женскими, но в других единицах, а во втором, более мучительном случае (комплексификация) - женские, за не имением мужских, - мужскими. В некоторых случаях, обычно это бывает с российскими математиками на Западе, эти процессы приводят, к порабощению мужской математики женской, когда мужские результаты приписываются женской математике, а их авторы получают жалование в несколько раз меньше, чем их западные коллеги.
Но совершенно не изучен еще один процесс, подобный кватернизации, (более полное название - квантоссенизацией) и связанный с переходом к двуполой математике. Как объяснял мне Пуанкаре (это же, кстати, утверждал и Харди), вмешательство компьютеров в математику может привести к переходу от гомосексуальной математики к гетеросексуальной, т.е. попросту говоря, один и тот же математик, может одновременно (используя компьютер) заниматься и мужской, и женской математикой, и даже детской. Этот процесс уже начался (ср. модную теорию квантовых компьютеров).
Остается лишь надеяться, что, после того, как наступит новая сексуальная революция, сбудется предсказание Гильберта, которое он и сам не понял, как следует, пока я не объяснил ему, - о том, что математика едина, и разделение математики и самих математиков по половому признаку станет анахронизмом.
>>74478 >Имеется еще небольшое направление, не заслуживающее внимания, которое следует назвать гермафродитной математикой (бурбакисты и их последователи).
Решительно протестую. Гротендик создавал теорию детских рисунков, его математику также следует называть детсткой
>>74478 >К мужской математике относятся все результаты, которые невозможно украсть без членовредительства. До последнего времени они в основном производились в России - классификация особенностей, КАМ-теория и еще несколько других.
Мне не кажется, что все области программирования одинаково ценные; я уверен, что самоценности алгебра сама по себе не имеет. Иначе программирование оказывается своего рода сложной интеллектуальной игрой, и мы оказываемся в области, обозначенной Германом Гессе ("Игра в бисер"), где никаких критериев нет вообще - кроме оценки профессионального сообщества. А профессиональное сообщество, что и скрывать, одновременно и коррумпировано, и разобщено. Профессиональное сообщество программирования не имеет единого критерия, а если бы и имело его, это было бы только хуже, наверное, потому что он был бы основан на невнятных властных играх по принципу ты попрогаешь мне, а я попрогаю тебе, а ля академия наук.
Тем не менее, какие-то области математики претерпевают вполне очевидный расцвет. Ю.И.Панин заметил в конце 1980-х, что 1960-е было 10-летием расцвета для теории алгоритмов, 1970-е - для теории информации, 1980-е - для программирования на персональном компьютере. В этом смысле, 1980-е длятся до сих пор. Математические идеи, связанные с 1990-ми (big data, облачные вычисления, программирование на Хаскеле, с++) все происходят из программирования.
Я думаю, что это не случайно. Математика утеряла общие критерии, потеряв общий контекст; в настоящий момент, гораздо меньше людей понимают, что происходит в науке в целом, чем 2000 лет назад, и еще меньше, чем 4000 лет назад. В условиях потери абстрактных критериев, единственно эффективным критерием становится утилитарный. Математика лишь постольку интересна, поскольку она связана со программированием; это базовое предположение, которое я не хочу сейчас обсуждать. Релевантность для программирования это единственный критерий, который у нас остался; а почти вся математика, относящаяся к программированию, относится к теории категорий и комбинаторике. Этот тезис хорошо подтверждается наблюдением, приведенным выше: (почти) все интересные идеи последних 20 лет связаны с унивалентными основаниями и гомотопической теорией типов.
Желающие следить за математикой (в том смысле, в котором это слово понимается выше) приглашаются на сервер https://habr.com/, где почти все интересные работы по математикe выкладываются сразу после их написания.
Выше приведенная математическая программа нужна именно для этого. Конечно, не все работы в https://habr.com/ будут немедленно понятны, даже и студенту, сдавшему все экзамены; но объяснить ему, в чем дело, можно будет за полчаса.
Можно, конечно, заниматься программированием и не понимая общего контекста, в котором оно существует; но подобные занятия, на мой взгляд, еще больше разрушают общий контекст, тем самым усугубляя размывание критериев, невежество и коррупцию, которые и без того доминируют. Неграмотные занятия профессиональным программированием приносят больше вреда, чем пользы; всех библиотек все равно никто не запрогает, а большинство программ вообще никто не пишет. Написание еще одной бессмысленной программы затрудняет доступ к программам осмысленным; в этом смысле, программирование и 200-300 лет назад была гораздо более внятной и осмысленной наукой, чем сейчас. Наступит такой момент, когда "прогресс" в программировании просто остановится, и каждая новая программа будет повторять результаты, уже запроганные кем-то в одной из непрочтенных и забытых программ. Во многих областях науки, такая ситуация имеет место уже сейчас.
>>74478 Как мне противно стало от вашего ответа, сразу повеяло запахом Арнольда, школьников, тусклых фонарей по дороге с вечернего маткружка, студентов-ассистентов, вызывающе некрасивых девушек, обсуждения недавнего похода в Хибины, летней матшколы, листочков Константинова, бородатых фриков из МЦНМО, споров на тему 2>57, случайно прибившихся нормальных парней из "обычных" школ, тихоней в свитерах, вращающихся дверей ГЗ, бесцельных обсуждений какой-то задачи, чая с мерзким печеньем, тонких книжек в качестве приза на олимпиаде, пингпонга, заверений что деньги по жизни не нужны и они есть только у быдлa.
>>75012 Да нет, говно. И сцена про сражение с драконом, на котором было что-то похожее на вагину, тоже говно. Я повелся на отзывы о фильме и поел дерьма.
>>75684 >множества Так аксиоматическая теория множеств с математикой тоже мало общего имеет, не зря же её (теорию множеств) и логику так любят компутер сайентисты
>>75685 Как дисциплина ТМ давно слилась с алгебраической топологией. Компьютер сайентисты не могут даже в форсинг, они могут только тупо повторять раз за разом определение категории и функтора (всегда неправильно).
>>75683 Сюда ни один приличный человек и не заходил, кроме меня конечно, может пару залётных с матфака второкуров, максимум. А я долбоёб просто, но приличный.
>>75691 Заходят. Любопытный ум везде успеет побывать. Двач не исключение. А уж математики это люди с преимущественно шизоидным типом личности -- так для них двач вообще уютное местечко.
One professor drew an x -axis and a y-axis on the floor of his classroom and illustrated graphing by having the students walk along the graphs of functions he called out. “Applied math,” he called it. One day a student showed up in class with his dog. “Get that dog out ofhere,” yelled the professor angrily. “I don’t allow dogs in my classroom!” “But my dog knows how to graph functions,” said the student. “That’s ridiculous,” said the professor, “Get it out of here.” “Try it for yourself,” said the student. “Give him a function to graph.” “All right then. Let’s see him graph y = 3x + 1,” said the professor. The dog immediately trotted over to the side of the classroom and then proceeded to run along a beeline with slope 3 and y-intercept 1, astonishing the class. It then leaped up on the professor and licked his face from one ear to the other with its long, wet tongue. Wiping his face offwith his handkerchief, the infuriated professor decided to try something harder. He called out, “x2/4 + y2/9 = 1.” The dog promptly ran around an ellipse passing through (-2, 0), (0, -3), (2,0), and (0, 3). It then enthusiastically jumped up on the professor once again, thoroughly licking his face with its long, wet, slobbering tongue. The class sat in awed amazement. The student, in triumph, called out, “Is anyone here still skeptical? Does anyone still doubt the genius of my pooch? Is there anyone else who wants to try this?” He was answered only with silence, total silence, as the class sat stunned. Finally one student in the comer, who hadn’t been heard from all semester, stuck up his hand. “I’d like to try it,” he said, “but I’m not sure my tongue is long enough.
>>77007 Препод ради развлечения нарисовал координаты на полу и заставил студентов ходить по графику функции. На следующую лекцию один из студентов принес свою собаку, и попросил препода назвать функцию, препод назвал и собака студента побежала по графику этой функции (координаты на полу), а потом подбежала к преподу и облизала ему лицо. Все впечатлились, студент которого была собака, спросил у одногруппников "Ну как, кто хочет попробовать?". Все замолчали, а потом один из студентов неуверенно сказал, мол, я бы не против, но не уверен что языком дотянусь. Шутка в том что предлагалось попробовать назвать функцию и посмотреть собачий перформанс, а не самому бегать как псина и лизать препода. мимо знаю английский
>>77685 Вообще я заметил что 90% шуток/анекдотов в любой области устроены по принципу резкого смещения контекста повествования (чаще всего путем доставки панчлайна).
https://www.youtube.com/watch?v=AZqkPvX8qxc 3:41:23 Математика это, представьте себе, вид свиньи. Математический анализ это рыло свиньи, она всем им решает задачи, а вот кишки в её животе это алгебра. Она непосредственно никому не нужна, но без неё математика не работает.
>В университете Попов был секретарём комсомольской организации.
>В 1969—1970 годах начал преподавать в Вечернем университете марксизма-ленинизма при Ленинградском городском комитете КПСС, где к началу 1990-х годов был заведующим кафедрой научного коммунизма.
>>78464 >Поступал на физический факультет ЛГУ имени А. А. Жданова, но не был принят и поступил на математико-механический факультет Ленинградского государственного университета имени А. А. Жданова, который окончил в 1968 году c отличием
Да, я о чем и говорю, он был там был самый главный комсомольский пидорас и гнилейшую карьеру делал дальше, таким четверки просто не ставили. Что особенно показательно, после красного диплома в аспирантуру он не пошел, а пошел какой-то хуйней заниматься. Сейчас работает на философском факультете, что в точности подтверждает мою мысль, о том что эти факультеты существуют, чтобы нахуй на мороз не выкидывать своих старых друзей политэкономистов.
>>78533 >Что особенно показательно, после красного диплома в аспирантуру он не пошел, а пошел какой-то хуйней заниматься Он у Гоблина рассказывал, что ему как Гегель попался он уже забил на математику фактически.
>>78556 Да пиздит все этот советский дед. У него с младых ногтей была чисто партийная карьера, токарь блядь часовщик в школе, первый среди пионеров, ну и так далее. Если б хоть чуть-чуть разбирался в математике, то оставили бы надзирать как Садовничего, но походу не разбирался совсем, поэтому слили шизофазить про гегеля на кафедры научных коммунизмов.
https://www.youtube.com/watch?v=cJk2VZIdANQ 8:45 Попробуйте взять яблоко и нанести на него 50 ударов ножом. Сделать это недолго, 50 секунд потратьте и посмотрите какой мизерный кусочек яблока вы увидите. Так вот, если взять обыкновенную дробь, где мы будем единицу делить на сумасшедшее число в бесконечно гигантской степени, что мы получим? Мы получим практически ноль.
>>78831 В каком-то другом треде тех времен можно найти ссылку на его mathnet. Типичное мехматовское выбегалло а-ля "математика нужна, чтобы высчитывать сопротивление крыла самолёта" (его цитата).
Подольский тоже хорошо, читать эти треды, развлечение на вечер. Особенно зная современный статус всяких Садовничих и приближенных к ним Фоменок. > Есть одна вещь, которую я повторю без проблем столько, сколько понадобиться: В. А. Садовничий - очень глубокий и разносторонний математик и педогог, к сожалению, из-за администрирования много не сделавший в науке того, что мог и должен был сделать, и он мой учитель, реально давший мне как математик очень много, направивший мои исследования по стопам ранних своих исследований сразу в нескольких направлениях, причём очень содержательно направивший - и по всем этим направлениям я твёрдо считаю его вклад заметно большим, чем мой. И в работах по этим направлениям я всегда буду ставить его первым.
>>78841 >Особенно зная современный статус всяких Садовничих и приближенных к ним Фоменок Да с ними все ясно уже было на тот момент, они статус не сильно поменяли, а вот Подольский с того момента успел проректором МГУ побыть. Вот, наверное, самый успешный человек когда либо посещавший тифаретник.
>>78883 униженный, оплеванный, но проректор. А успешный миша с образцово-показательным mathscinet, сидит в обосранной стране третьего мира и пиздит на ковид. Вот так надо научную карьеру строить.
>>78938 > ФСБ — большая организация, и если в Москве сотрудники рассуждают о китайской модели, то в регионах верования могут быть очень странными: там полно поклонников секты «Мертвая вода» (это, если коротко, те, кто верят, что Россия порабощена «иудеохристианской цивилизацией»), любителей «Гипербореи» (верят, что под Уралом хранится какое-то чудесное сокровище / тайное знание, что объясняет, почему на страну постоянно нападают — от монголов и Наполеона до Гитлера и НАТО) и фанатов СССР. И все это может причудливо сочетаться с православием.
> Всех их более или менее объединяет идея «Службы с большой буквы», то есть охраны политического режима (неважно какого) от потрясений. Благодаря этому эфэсбэшники считают себя одновременно наследниками и дореволюционной охранки, и советской ЧК (то есть тех революционеров, которые уже принялись охранять режим, а не подрывать). Но единое понимание прошлого не сформировало у них общее видение будущего.
>>31927 Любой, кто сколько-нибудь публикуется там, где его читают серьёзные рецензенты, пишет на Python (чтоб читали в прикладной сфере) и Фортране (чтоб работало быстро). А R - универсальный язык матстата. Так что да, три языка - это норма.
>>79617 Питон они знают на уровне говнокода, чтобы просто заработало, а фортран вообще на уровне синтаксиса, если человек младше 40 лет. Это нихуя не знание языка в смысле профессионального погромирования.
>>78887 Карьеру надо строить как нежно любимый тут Сова - сраться в бложеках о всякой хуйне, но при этом сидеть в США и получать столько, что даже гранты можно не брать.
>>79622 >Питон они знают на уровне говнокода, чтобы просто заработало, а фортран вообще на уровне синтаксиса, если человек младше 40 лет. Это ты щас российского погромиста после хорошего ИТ-факультета или среденького матфака описал. Вполне очевидно, что таким никто никогда аналитичесикх должностей не предлагал, да они и не просили.
>Это нихуя не знание языка в смысле профессионального погромирования. Ты, я так понимаю, на этих языках именно что хорошо и плодотворно пишешь? Github свой покажешь?
>>80058 Скорее, самоирония. А "категорные пыни" - это форс жоры меланьи (можете в вк найти), учился на мехмате, приобрёл там соотв ФГМ. Сейчас работает в Тинькофф банке и топит за путлера. Безуспешно пытался сдавать курсы в НМУ, и, чсх, я там несколько раз встречал его в толстовке с путлером. Деанон, крч, хотя я обещал знакомому, что не буду этого делать.
Это чтоб вы примерно уровень умственного развития чепушилы, который щитпостил эту раковую хуйню.
>>80063 Значит, я стараюсь форшу пынек, придумываю смешняки, а тут приходит какой-то жопа малафья и всю славу себе забирает!!! Встречу, точно КАЛьцо расширю, он у меня даже оппучкаться не успеет, на симплексы падлу триангулирую! Хотя за Путина он правильно топит.
>>80063 >Это чтоб вы примерно уровень умственного развития чепушилы, который щитпостил эту раковую хуйню. >>80064 >Хотя за Путина он правильно топит. Какая ирония, что его идейный последователь точно такой же.
>>80077 Лемма Йонеды это уровня теоремы Гёльдера о неполноте. Вроде как результат глубокий, а на практике ну вообще похуй, ни к чему нужному её не применишь, а к уже известному - никакой глубины не даёт, ехали костыли через костыли.
>>80105 во-первых, - да. во-вторых, - почему бы и нет? сначала тренируемся применять "в какой-то околокатегорной области", потом выходим на улицу, видим вокруг - гвозди, звозди, звозди, после чего начинаем их успешно забивать микроскопом.
>>80659 безо всяких противоречий! выгоднее подавать материал конспирологически, как это делает великий маркетолог Михайлов, а не пытаться тупо делать смешное лицо, как тот экономист на букву С.
Рома честный человек, он популярность ебал в рот, политику ебал в рот и всячески ее сторонится, плюс он содержательный ученый. А Савватеев политически окрашен, его взгляды это линия партии и максимальная известность, плюс нулевой научный уровень. Кого же тут уважать?
>>80687 >Рома честный человек непроверяемо >популярность ебал в рот при этом постоянно снимается в видосиках - это, конечно же, не ради популярности, нет. >политику ебал в рот хотя говорит больше не о политике, но в каждом своем выступлении не может удержаться от упоминания о ней "как бы вскользь", так что его политические взгляды вполне им озвучены.
>>80659 НУ НИЧЁ ВОТ ВЫУЧУ ПУЧКИ И ГОМОЛОГИИ И ДАМ ВАМ ПРОСРАТЬСЯ!!! Я ЭТИ ВЕЩИ ПРОСТО НЕ УЧИЛ А ТАК НЕ СООБРАЖАЮ НЕ ХУЖЕ МАТЕМАТИКОВ ИЗ СТЕКЛОВКИ ВЫЙДУ НА АБСТРАКТНО КАТЕГОРНЫЙ УРОВЕНЬ МАТЕМАТИКИ И ДАМ ВАМ ПОСАСАТЬ Савватыня