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


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