24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Сохранен
581
Философия математики для начинающих 2 — в поисках основательных математиков — Математика не имеет никакого основания, кроме того, что некоторым людям нравится ею заниматься. Попробуем это формализовать Следующий тред: >>29692 (OP)
24 марта 10:16
Сохранен
7
мы могли бы взять на постдока дельфина, кита или ворону, или нейросетку, платить ей биткоинами зарплату — Рома Михайлов ищет людей в лабу САП: https://baaltii1.livejournal.com/784756.html
12 августа 21:04
Активный
532
Оснований тред №9 — Очередной тред, посвященный основам основ математики - Основаниям. Нет ни одной области математики, гарантирующей непротиворечивые результаты без отсылок к основаниям. Полезная ссылка: https://en.wikipedia.org/wiki/Whitehead_problem Предыдущий тред - https://2ch.hk/math/res/78210.html
11 сентября 6:56
Активный
507
Оснований тред №8 — Был ли Бурбаки интуиционистом? Чем ProofObject Вольфрама отличается от ProofObject в Coq? Почему Гротендик считал, что ZFC с аксиомой универсумов лучше чем NBG, а Маклейн вынул из головы теорию школ (которые называются так, потому что в них есть классы)? Красит ли Мартин-Лёф бороду? Можно ли заменить теорию множеств конструктивистской теорией категорий? Почему атомы Куайна - не то же самое, что урэлементы Френкеля? Чем форсинг Коэна отличается от форсинга Матиаса? Куда пропала калифорнийская группировка CABAL и входил ли в неё Вудин? Прочитал ли кто-нибудь Handbook of Set Theory Канамори-Формана? Как определяется N? Эти и другие вопросы на протяжении 325 серий обсуждаются здесь, в самом горячем месте доски. Добро пожаловать. Добро пожаловать в оснований-тред. Предыдущий: >>65396 (OP)
11 сентября 6:56
Активный
252
https://youtu.be/I6aAevUuAQc — https://youtu.be/I6aAevUuAQc
11 сентября 6:56
Активный
89
Математической логики нить. — Почему всё ещё нет нити о дискретной математике? Места, где бы обсуждали суператомные алгебры, полные теории, Σ-определимость? И самое главное - Теорию моделей . Где все это? В общем, нить иди. P.S. конструктухов и определяльщиков велосипедов вроде N, из соседней нити, просьба воздержаться от высказываний.
11 сентября 6:56
Активный
170
НМУ / IUM / Независимый Московский университет — Тред для обсуждения листочков и лекций НМУ. Можно обсуждать и другие связанные вопросы, поднимать разные темы. Всё во имя того, чтобы ходящий в НМУ анон не был одиноким.
11 сентября 6:56
Активный
524
Тред математических мемов — Модерируемый. Вайп, спам, щитпостинг трётся, всё остальное разрешено. По настоянию модератора предыдущий тред остается на растерзание школьникам, теперь постите сюда.
11 сентября 6:56
Активный
630
https://www.youtube.com/watch?v=JRQiLudWEz8 https://t.me/maasap — https://www.youtube.com/watch?v=JRQiLudWEz8 https://t.me/maasap
11 сентября 6:56
Активный
15
Программа Ленглендса или теория великого объединения математики — Господа математики, не могли бы вы рассказать что из себя представляет эта программа и каково ее значение для математики?
11 сентября 6:56
Активный
348
Алгоритмов тред — ITT, мы будем алгоритмизировать алгоритмизацию алгоритмизациоанальную. Алгоритмизацианалично, и алгоритмизациоаналистично. Приготовь свой алгоритмизациоанал, для аналлизирования различных алго, невъебенных. Заебатой автоматизированной алгоритмизации-нить, иди.
11 сентября 6:56
Активный
44
Каббала — Как /math/ относится к каббале? Не спешите гнать в философач. Я попытался обмазаться (чисто ради примитивной эрудиции), и мне подумалось, что в образе мысли есть что-то перекликающееся с теорией категорий. Такая мысль пришла от чтения этой книги: https://ru.wikipedia.org/wiki/Сефер_ха-Зоар
11 сентября 6:56
Активный
66
Хочу врубиться в математику, что читать — Привет, двач! Расскажи, что мне нужно прочитать (и в какой последовательности) и прорешать, чтобы въезжать в математику на серьезном уровне? Желательно буксы на англицком.
11 сентября 6:56
Активный
118
Может ли гуманитарий и троечник стать математиком? Мне 25, хочу вкатиться. В шкале пару раз были 4ки в четвертях, но я проебывался. — Может ли гуманитарий и троечник стать математиком? Мне 25, хочу вкатиться. В шкале пару раз были 4ки в четвертях, но я проебывался.
11 сентября 6:56
Активный
51
ОТО — Пытаюсь понять ОТО, какие темы математики нужно знать для её понимания? Что нужно знать для понимания информации с картинки? Откуда вот эти длинные уравнения взялись?
11 сентября 6:56
Активный
31
Привет, учОные Окончил шкалку, планирую поступить — Привет, учОные Окончил шкалку, планирую поступить в НГУ на ФИТ Делать нехуй, решил открыть учебник по матану и хотя бы начало прочитать. Столкнулся с тем, что совершенно очевидные для меня теоремы/леммы тут доказываются (см. картинку) Вопрос: будут ли в универе от меня требовать доказательства подобных вещей? Или леммы/теоремы подобного уровня будут проходиться без доказательств?
11 сентября 6:56
Активный
105
Чему равно 8/2(2+2) — Чему равно 8/2(2+2)
11 сентября 6:56
Активный
530
Оснований тред №6 — >В любой науке ровно столько науки, сколько в ней математики. >В любой математике ровно столько математики, сколько в ней вычислимости. Предыдущий, тонет тут: https://2ch.hk/math/res/25624.html Архивач: https://arhivach.cf/thread/369697/ (У кого не открывается - попробуйте HTTP.)
11 сентября 6:56
Активный
523
Оснований тред №5 — В любой науке ровно столько науки, сколько в ней математики. В любой математике ровно столько математики, сколько в ней вычислимости. Предыдущий - https://2ch.hk/math/res/21361.html
11 сентября 6:56
Сохранен
70
Вы знаете, откуда эта задача. Предлагаю в этом треде решить её, а также, может быть, и остальные 99 — Вы знаете, откуда эта задача. Предлагаю в этом треде решить её, а также, может быть, и остальные 99
4 марта 2018
Сохранен
214
Конструктивненько поясните — Может кто-нибудь без срача, коротко и конкретно пояснить за конструктивную математику? Я правильно понимаю, что это "математика для программистов"? Почему вокруг нее столько хейтеров? Меня послали к вам из /pr. Надеюсь на твою помощь, анон!
4 марта 2018
Сохранен
512
Философия математики для начинающих 3 — в поисках содержательной математики — Оп первого треда здесь. Дискуссии о философии математики получились бурными и познавательными. Я смиренно слушал взрослых дядей, пытаясь что-нибудь понять, и вот что мне удалось выхватить. Поправьте меня в местах, где я туплю. Приветствуются любые замечания. (Оп знает, что он очень тупой и безнадёжный, лучше не тратьте время на то, чтобы лишний раз его в этом убедить) 1. Существует дисциплина «основания математики»,
4 марта 2018
Сохранен
596
Философия математики для начинающих 0 (мистик эдишен) — Понятие линейной алгебры имеет синоним - ритм. Зачем называть двумя словами то, что выражается одним?
24 марта 10:16
Активный
395
Регулярные локальные кольца — Хорошо известно, что математика это раздел алгебраической к-теории. Лучшим помощником к-теоретика представляется нам классическая наука о резольвентах модулей. В этом треде мы объясняем любителям Демидовича что такое дифференциал и операция дифференцирования, как определить модуль не обращаясь к понятию группы, определяем когомологии и Ext на языке точных последовательностей. Прошу воздержаться от диаграммного поиска и метания стрелок, для этого есть отдельный тред >>2473 (OP). Классической гомологической алгебры нить стартует тут.
11 сентября 6:56
Активный
72
Решено. Опровергнуто. — Сап, матач. Аноном на коленке абсолютно корректно, просто, точно и изящно решена "неразрешимая" задача на построение трисекции угла, а заодно не менее корректно и точно опровергнута теорема Гаусса-Ванцеля о построении многоугольников. Но анон не математик и не знает, куда с этим идти и можно ли вообще с этого поиметь хоть какой то профит. Подскажите уж.
11 сентября 6:56


жалоба / abuse: arhivach@airmail.cc