Добавлена поддержка Ежчана (ejchan.net, ejchan.site). Набегаем, тестируем архивацию, сообщаем о замеченных проблемах.
К сожалению, значительная часть сохранённых до 2024 г. изображений и видео была потеряна (подробности случившегося). Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Активный
547
Деградации тред — Доска уже давно нуждалась в таком местечке. В каком-то смысле сейчас его роль выполняет Начинайко-тред, зайдя туда, можно обосраться со смеху, если вы знаете математику хотя бы за первые два курса, пидоры. Новая ветвь /math, которую я отважился кудах, не просто раковая, она и есть рак по определению. Тем не менее, людям кудах-кудах выплескивать накопившееся говно, и чем размазывать его по всей доске, давайте лучше кудах его здесь, чтобы потом дружно и с кайфом обмазываться им. Основная тематика трэда, как не сложно догадаться, кудах-кудах! В любом виде! Будь то паста али картинка. Крайне приветствуется кудах-кудах, если кудах будет оригинальным (в треде деградации, кудах). У нас имеется кудах мемесов http://pastebin.com/e38Yuj5V однако, он устарел, к тому же ленивый Посметьев пидор начинайко-трэдов давно не редактирует. Вместо него в ближайшее время я кудах кудах-кудах, а точнее кудах. Любой желающий сможет внести свой кудах в новый кудах, для этого нужно будет отправить мне кудах с вашим кудах-кудахом на самом сайте (к сожалению, для этого нужны кудахи). Утратившие свой кудах микрокудахи указаны не будут. Нынешний кудах я начну с нескольких кудахов, которые даже самые кудахные кудахи знают, это нужно для кудаха. Ну а теперь задержите дыхание, зажмите пальцами нос, ибо начинается ваше погружение в сточные мемовые воды math'а! ~~~Кудах!~~~
2026-05-11 09:36:26
Активный
551
2026-05-11 09:36:26
Сохранен
6
2023-11-12 11:40:57
Активный
26
Metamath — Ранее я создал Мендельсона-тред, теперь хочу обратить внимание на другую достаточно клёвую вещь: Metamath. (Это связано с основаниями математики, но не спешите отчаиваться) В данном треде я постараюсь ответить на все возникшие у анонов вопросы. Его вроде надо сделать модерируемым. FAQ: 1)Что это? Это теория типов для формального доказательств первопорядковых языков. Ну то есть язык программирования для ZFC, NBG, геометрии (Тарского) и ещё много чего первопорядкового. Всё это доступно онлайн в удобном гипертекстовом виде. 2)Какие профиты? а) Очень большая библиотека доказательств, легко читается. Имеет достаточно долгую историю - с девяностых. б) Пруфассистант: два режима, как в Coq: либо конструируешь доказательство, либо интерактивный режим. в) Непосредственно прилагается самоучитель. г) Простой (300 строк на питоне) верификатор доказательств. д) Имеет модель в ZFC. (самая мякотка, смотри пункт 3) е) Живое коммьюнити. 3) Какие задачи? Есть такая статья: http://us.metamath.org/ocat/model/model.pdf Не знаю как анону, но мне было бы очень любопытно в ней разобраться. 4) Почему "лучше" чем HoTT, Coq, HOL и т.д.? Да потому что ZFC и логика предикатов - это математический стандарт де-факто, поэтому знание metamath может помочь вам понимать беглую речь преподавателей в институте. (А не страдать по крайностям "это очевидно" и "ничерта не понятно".) Смело задавайте вопросы и высказывайте мнения.
2026-05-11 09:36:26
Активный
333
2026-05-11 09:36:26
Сохранен
17
2024-06-11 15:17:51
Сохранен
5
Имеется система, которая через равные промежутки — Имеется система, которая через равные промежутки времени Δt генерирует набор, состоящий из случайного числа, повторяющегося случайное число раз в том числе 0 раз. Например, эта система может сгенерировать следующую последовательность наборов за время 5∙Δt: {5,5,5,5}, {3,3,3,3,3,3,3}, {}, {7}, {9, 9, 9}. Примеры распределения самих чисел и их количества в каждом наборе показаны на первом и втором пиках соответственно. Также известно, что параметры данных распределений меняются со временем. То есть, если считать их близкими к нормальному распределению, то можно говорить о том, что матожидание и дисперсия этих распределений не постоянны. Задача: имея данные о наборах, выданных системой в предыдущие моменты времени, определить вероятность того, что за некоторое время T система сгенерирует не менее N чисел, которые больше чем X. Очень надеюсь, что математический анон поможет мне решить данную задачу или хотя бы посоветует, каком направлении копать.
2024-06-11 15:17:51
Сохранен
45
2025-02-28 13:05:03
Сохранен
2
2024-06-11 15:17:51
Активный
68
2026-05-11 09:36:26
Сохранен
12
2024-09-11 09:22:03
Сохранен
26
2025-09-11 06:56:44
Сохранен
94
2024-09-11 09:22:03
Сохранен
12
2024-09-11 09:22:03
Сохранен
28
2024-12-05 18:06:52
Активный
315
2026-05-11 09:36:26
Сохранен
600
2024-09-11 09:22:03
Сохранен
557
2024-06-11 15:17:52
Сохранен
5
2023-11-12 11:40:57
Сохранен
30
ВТФ? — Великая Теорема Ферма. Вот смрите. При степени равной 1, всегда найдётся целое "c" для целых "a+b". При степени 2, это только 3,4,5 - "Египетский Треугольник" и "масштабирование" - умножение всего на некоторое целое m. m3^2+m4^2=m5^2 9m+16m=25m Это мы и решением квадратного уравнения доказываем. Тут никаких проблем нет. Проблемы возникли дальше, при n>2, сейчас у теоремы вроде есть очень длинное доказательство и ещё не факт, что там нет ошибки, все остальные доказательства, коих тонны, ошибочны. А доказывали теорему столетиями. Мне лично не понятно, что там можно доказывать столько времени. Возьмём a=3 b=4 c=5. Степень: Что получаем 2: 9+16=25 --- всё норм 3: 27+64=125 ---"c" больше на 34 4: 81+256=625 ---"с" больше на 288 Дальше, при увеличении n, разрыв ещё больше увеличивается. Остаётся попытаться изменить a и b и, вероятно, c. Пытаемся, но не находим решений, делаем для общего случая, всё математически оформляем и вуаля, доказательство готово. Ваши варианты, господа. Задачка школьного уровня.
2024-06-11 15:17:52
Сохранен
5
2023-11-12 11:40:57
Активный
22
2026-05-11 09:36:26
Сохранен
15
2023-11-12 11:40:57
Сохранен
22
2023-11-12 11:40:57
Активный
50
2026-05-11 09:36:26