https://www.youtube.com/watch?v=hWi5skKJZR0&feature=youtu.be&t=16m52s

Если отойти на большое расстояние от объекта, то можно увидеть прошлое и будещее этого объекта.

Представляете какой пиздец? Ну и фуфло.

Изначально тред создавался в /b/, но пусть тут повисит. Дублирую.

Нужна помощь коллективного разума. Есть некая компания, производящая не сложный продукт бакалейная продукция. Но с точки зрения производства - при малом количестве входов очень много выходов. 2017 год был для компании не самый лучший убыточный. Я занимаюсь ПО в компании и мне поставлена задача уже как полгода разработать архитектуру системы производственно-логистического планирования. Обычно планирование - это усредненный линейный график, основанный на статистике, но все мы знаем, что это - полное говно. Я же хочу сделать систему на вероятностных методах с применением имитационного моделирования, в перспективе, возможно, присвоить себе готовое решение. Да вот проблема - мои знания в математике поверхностные. В целом, я хорошо разбираюсь в дифференциальном и дискретном исчислении, но тут мне знаний не хватает. Более того, имитационное моделирование - сравнительно молодая отрасль науки в рашке, очень много материала на инглише, например, из MIT. Из хороших решений разобрался, как работать с RePAST Simphony. А вопрос такой - где найти гика-математика? Не на хедхантере же? Где они обитают?

Ссылка на тред в б http://arhivach.org/thread/330060

Привет, двач! Расскажи, что мне нужно прочитать (и в какой последовательности) и прорешать, чтобы въезжать в математику на серьезном уровне? Желательно буксы на англицком.

несмотря на идиотское название, тропическая геометрия --- годный,
развивающийся раздел математики.

на тропическую геометрию можно смотреть как на построение
алгебраической геометрии в "тропическом полукольце" с операциями + и
взятие максимума. тропические функции выпуклы и кусочно-аффинны,
отсюда связь с выпуклой геометрией. тропические многообразия --- это
комплексы многогранников, изучать их зачастую означает угореть по
какой-то комбинаторике.

с любым алгебраическим многообразием над полем, вложенным в
алгебраический тор, можно ассоциировать тропическое многообразие
("тропикализация"). можно и не над просто полем, а над нормированным
полем. на тропических многообразиях есть теория пересечений, которая
связана с "насторящей" теорией пересечений на многообразиях. есть
"тропические гомологии" (правда, что они считают --- тот ещё
вопрос). если кто угорает по неархимедовой геометрии (пространства
Берковича, вот это всё), то с ними тоже есть связь.

тропикализация гиперповерхности задаёт разбиение пространства,
двойственное многограннику ньютона. таким образом, на тропикализацию
многообразия большей коразмерности можно смотреть на такой способ
ассоциировать что-то типа многгранника ньютона с такими
многообразиями.

понимание свизи между многообразиями и их тропикализации очень
продуктивно: можно решать всякие задачи подсчёта из а/г, сводя их к
чисто комбинаторным задачам про многогранники.

Тут же появляются юные студенты, стремящиеся стать полноценными математиками? Зачем вы делаете то, что делаете? Есть какая-то конечная цель? И на каких основаниях вы заключили что имеете шансы ее достичь? Вот конкретно можете назвать хотя бы десять математиков, чьи жизни вы бы хотели прожить?

Анон, а давай решим, наконец, тривиум Арнольда (первый).
Всего сто задач, задачи с первой по седьмую пикрелейтед.
Как решать первую? Я что-то нагуглил про графическое интегрирование, но ничего не понял.

https://existentialtype.wordpress.com/2017/03/04/a-proof-by-contradiction-is-not-a-proof-that-derives-a-contradiction/

> As an aside Euclid Book I, Prop. 6 uses the “refutation by contradiction” plus double negation form whereas Prop. 7 uses the straight “refutation by contradiction” form. This suggests to me the Greek geometers were well aware of the distinction.

Оправдывайтесь.

Какого хуя Джон Арчибальд Уилер так лижет зад Пармениду?

https://www.youtube.com/watch?v=ITH8jip-3VA

Собственно вопрос в названии темы. Всегда это было интересно. Но в интернете об этом ни слова. Но то есть там полно информации об этой теореме и как её доказывать. Но вопрос то не в этом. И дело тут даже не в градусах. Почему углы треугольника складываются в прямую линию. Что такое есть треугольник что у него такое интересное свойство? Почему геометрия нашего пространства так решила? Помню задавал этот вопрос преподавателю еще в школе, она меня даже не поняла.)))

Первый фильмотред объявляю открытым. Постим сюда все фильмы по сабжу и обсуждаем их.

Как самостоятельно получить столько же знаний, сколько есть у выпускника медицинского? Какие книги читать? Есть ли гайды?

В старый тред деградации часто кидали различные математические видео, которые по сути являлись оффтопом. Предлагаю коллекционировать годноту в отдельном треде.
Постите тут найденные вами интересные ролики или каналы. Движок макабы позволяет оставить лишь ссылку на видео, и ролик можно будет просмотреть прямо в треде.
Модерируемый.

Как /math/ относится к каббале?
Не спешите гнать в философач. Я попытался обмазаться (чисто ради примитивной эрудиции), и мне подумалось, что в образе мысли есть что-то перекликающееся с теорией категорий. Такая мысль пришла от чтения этой книги:
https://ru.wikipedia.org/wiki/Сефер_ха-Зоар

Ранее я создал Мендельсона-тред, теперь хочу обратить внимание на другую достаточно клёвую вещь: 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 может помочь вам понимать беглую речь преподавателей в институте. (А не страдать по крайностям "это очевидно" и "ничерта не понятно".)

Смело задавайте вопросы и высказывайте мнения.

Использую буковки x, y, z, w, p, r, i, j, k, l, n, m, t для генерации матриц разной размерности. Только вот если первые четыре вроде как традиционные, то дальше идёт первый пришедший в голову треш. Скажите, господа-математики, у вас есть какая-то расширенная традиция наименования степеней свободы?

В любой науке ровно столько науки, сколько в ней математики. В любой математике ровно столько математики, сколько в ней вычислимости.
Предыдущий - https://2ch.hk/math/res/21361.html (М)

Сабж. Как считаете, нужно ли изолированное изучение логики для понимания математики и развития математического мышления в целом?

Столкнулся с проблемой, что начав изучать школьную программ, я в принципе могу решать задачки и всю прочую хуйню, ноя не понимаю, что делаю. Взять даже квадратное уравнение и нахождение дискриминанта: я помню формулу, но не могу сказать, что она значит и откуда она вообще взялась. Моё "математическое" мышление на данный момент строится лишь на некотором количестве заученных формул, большую часть которых я даже не смогу доказать.

Чтобы начать понимать математику, стоит ли мне обмазаться учебниками логики или не выёбываться и просто сидеть решать всякую хуйню 24/7, а понимание придёт само?

Математики привет! Сейчас я вам предлагаю посмеяться над дебилом. Завтра я сдаю ОГЭ по матеше и дело в том что я знаю ее на уровне класса 3-его (Я даже таблицу достаточно хреново знаю.). Все классы кроме 8-ого я пересдавал математику. Завтра у меня экзамен и я пиздец боюсь. На русском нам учителя дали ответы, но учитель математики в моей школе какие-то странные. У меня сейчас ниебический мандраж. Как быть?

В мире натуральных чисел не может быть нуля, там может быть только "ничто" ("ничего", "null").

Но "ничто" - это не число.

Т.е. ряд натуральных чисел начинается с "1", а не с "0" и не с "ничего".

Но возникает множество проблем.

И поэтому, вероятно, и применяетcя ошибочная модель, где "ничто" превратилось в число "0", с которого начинаетcя числовой ряд натуральных чисел.

Сап, вкатываюсь с задачкой как я полагаю банальной, но для меня крайне сложной. Суть в том, что мне нужна формула для линии (красного цвета), на уровне формулы из учебника (без цифр, онли буквы если конечно не нужно там разделить экспоненту или около того). Препод давал подсказку, что формула состоит из трех экспонент и вообще складывается чуть ли не из трех графиков(возрастающего, убывающего и затухающего). Формула нужна без колебаний! Хотя если кто-то сможет можно и с ними(но лучше отдельно=D ) Если кому то будет интересно потом объясню, что это за вундервафля, из какой области и зачем нужно.