24 декабря Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Активный
72
11 июня 15:17
Активный
1789
11 июня 15:17
Активный
547
Деградации тред — Доска уже давно нуждалась в таком местечке. В каком-то смысле сейчас его роль выполняет Начинайко-тред, зайдя туда, можно обосраться со смеху, если вы знаете математику хотя бы за первые два курса, пидоры. Новая ветвь /math, которую я отважился кудах, не просто раковая, она и есть рак по определению. Тем не менее, людям кудах-кудах выплескивать накопившееся говно, и чем размазывать его по всей доске, давайте лучше кудах его здесь, чтобы потом дружно и с кайфом обмазываться им. Основная тематика трэда, как не сложно догадаться, кудах-кудах! В любом виде! Будь то паста али картинка. Крайне приветствуется кудах-кудах, если кудах будет оригинальным (в треде деградации, кудах). У нас имеется кудах мемесов http://pastebin.com/e38Yuj5V однако, он устарел, к тому же ленивый Посметьев пидор начинайко-трэдов давно не редактирует. Вместо него в ближайшее время я кудах кудах-кудах, а точнее кудах. Любой желающий сможет внести свой кудах в новый кудах, для этого нужно будет отправить мне кудах с вашим кудах-кудахом на самом сайте (к сожалению, для этого нужны кудахи). Утратившие свой кудах микрокудахи указаны не будут. Нынешний кудах я начну с нескольких кудахов, которые даже самые кудахные кудахи знают, это нужно для кудаха. Ну а теперь задержите дыхание, зажмите пальцами нос, ибо начинается ваше погружение в сточные мемовые воды math'а! ~~~Кудах!~~~
11 июня 15:17
Активный
551
11 июня 15:17
Сохранен
6
12 ноября 2023
Активный
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 может помочь вам понимать беглую речь преподавателей в институте. (А не страдать по крайностям "это очевидно" и "ничерта не понятно".) Смело задавайте вопросы и высказывайте мнения.
11 июня 15:17
Активный
323
11 июня 15:17
Сохранен
17
11 июня 15:17
Активный
5
Имеется система, которая через равные промежутки — Имеется система, которая через равные промежутки времени Δt генерирует набор, состоящий из случайного числа, повторяющегося случайное число раз в том числе 0 раз. Например, эта система может сгенерировать следующую последовательность наборов за время 5∙Δt: {5,5,5,5}, {3,3,3,3,3,3,3}, {}, {7}, {9, 9, 9}. Примеры распределения самих чисел и их количества в каждом наборе показаны на первом и втором пиках соответственно. Также известно, что параметры данных распределений меняются со временем. То есть, если считать их близкими к нормальному распределению, то можно говорить о том, что матожидание и дисперсия этих распределений не постоянны. Задача: имея данные о наборах, выданных системой в предыдущие моменты времени, определить вероятность того, что за некоторое время T система сгенерирует не менее N чисел, которые больше чем X. Очень надеюсь, что математический анон поможет мне решить данную задачу или хотя бы посоветует, каком направлении копать.
11 июня 15:17
Активный
45
11 июня 15:17
Активный
2
11 июня 15:17
Активный
68
11 июня 15:17
Активный
12
11 июня 15:17
Активный
26
11 июня 15:17
Активный
94
11 июня 15:17
Активный
12
11 июня 15:17
Активный
28
11 июня 15:17
Активный
306
11 июня 15:17
Активный
600
11 июня 15:17
Активный
557
11 июня 15:17
Сохранен
5
12 ноября 2023
Активный
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. Пытаемся, но не находим решений, делаем для общего случая, всё математически оформляем и вуаля, доказательство готово. Ваши варианты, господа. Задачка школьного уровня.
11 июня 15:17
Сохранен
5
12 ноября 2023
Активный
22
11 июня 15:17
Сохранен
15
12 ноября 2023

Отзывы и предложения