Всем привет!

Ищу нечто вроде:

Вот есть простые неделимые на меньшие натуральные числа (и даже цифры): 0,1,2,3,5,7.
Назовём их "кванты".

Из этих квантов можно составить любое число.
Не так "2104", составил, мол, а вот так: 32 = 2 x5 x3 + 2
И речь не о простом разложении на простые множители + простой хвостик итп.
Речь про общие законы и про универсальные формулы.
Т.е. мы создаём любое число из квантов, конструктор. Эволюция чисел, так скажем.

Почему бы не записать теперь все натуральные числа (хотя бы) несколькими формулами, где будут производиться операции над нашими квантами?

Есть уже что-то такое?

Почему в ответе к задаче не A + B — 1,2,3,4,5 и A x B — 1,3. Хотя должно быть A + B — 1,3,4,5,6 и A x B — 5.

Итак, пачаны, я прошел один математический тест для дошкольнят.
Предлагаю местным мат-и-мат-икам тоже попробовать решить его.

Проходил я его ирл и правильные ответы знаю, так что буду постить вопросы по мере продвижения по ним.
Зачем? Чтобы посмотреть как двачные математики будут справляться с ящичным для песка демоном, с применением топологии над модулями колец в бесконечномерных пространствах.

Здравствуй.

Так сложилось, что школу я почти не посещал, из-за чего о многих понятиях, известных каждому школьнику, имею весьма отдаленное представление.

Незнание математики аукается хотя и редко, но весьма болезненно.

Недавно закончил базовый, ЭЛЕМЕНТАРНЫЙ курс арифметики, в частности умножение, деление, дроби и пропорции.

Теперь перехожу на уровень выше и прошу помочь с разделами АЛГЕБРЫ, на которые мне следует обратить наиболее пристальное внимание.

В первую очередь интересует word problem и все, что поможет мне не выглядеть помойным петухом в собственных глазах(т.е. то, что может реально пригодиться в жизни обывателя)

Спасибо.

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 (М)