К сожалению, значительная часть сохранённых до 2024 г. изображений и видео была потеряна (подробности случившегося). Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Сохранен
1277
11 сентября 2024
Активный
467
Производная, Дифференциал, Интеграл. Закат Эпохи. — https://www.youtube.com/watch?v=DXQD-tETzko Зря я вас послушал, двачеры. Сами ничего не знаете и не понимаете, так ещё и других с верного пути сбиваете, при этом обильно поливая грязью. Итак, производная - это предел: lim{Δx->0}Δy/Δx Находим чему равно Δy в точке, где Δx=0: Δy = f(x+Δx)-f(x) = f(x+0)-f(x) = f(x)-f(x) = 0 Решаем предел, для чего нужно подставить в функцию Δx=0 и Δy=0: lim{Δx->0}Δy/Δx = lim{Δx->0}0/0 Вот и всё. Это то, чему на самом деле равна производная: f '(x) = lim{Δx->0}Δy/Δx = 0/0 - "Предел неопределённости", это и есть классическая производная. Да, мы можем написать: f '(x) = lim{Δx->0}tg a = tg ф (a - угол наклона секущей, ф - угол наклона ксательной) Всё правильно, мы можем поставить здесь знак "=" между lim{Δx->0}tg a и tg ф. Но не забывайте только о том, что мы говорим о "недостижимом пределе" и секущая, действительно, никогда не достигнет касательной в классическом пределе. Но у них не было альтернативы, а "достижимый предел" они не додумались ввести. Тогда его введу я: f+(x) = alim{Δx->0}tg a = tg ф. Вот и всё, проблемы больше нет. Секущая достигла касательной. И именно такому пределу дожна была равняться классическая производная, но нам придётся назвать её f+(x). Решение аналогичное: f+(x) = alim{Δx->0}Δy/Δx = 0/0 f+(x) = 0/0 = tg ф = dy/dx dx = Δx, где Δx - первоначальное состояние Δx до начала повотора секущей (по договорённости). dx не равно 0. А dy - дифференциал, мы, ясное дело, найти не можем! Нет конечного точного результата. Всё, что мы можем найти: 0/0 = dy/dx dy = 0dx/0 dx/0 = inf - бесконечность. dy = 0dx/0 => dy = 0xinf - "НОЛЬ УМНОЖИТЬ НА БЕСКОНЕЧНОСТЬ" Мы получили неопределённость вида 0xinf. Другой вариант решения: 0dx=0 dy = 0dx/0 => dy = 0/0 - "НОЛЬ РАЗДЕЛИТЬ НА НОЛЬ" Мы получили неопределённость вида 0/0. Вот и всё, что мы можем найти: f '(x) = f+(x) = 0/0 dy = 0/0 = 0xinf А теперь проводим во всей математике "Черту Позора": В левой части у нас будет "Точная Метематика", а в правой - "Примерная Математика". Ну так вот, производную, дифференциал и интеграл и всё, что на них основано мы "выбрасываем" в правую часть. Потому что с их помощью у нас получаются всегда только лишь приблизительные расчёты.
31 января 1:32
Активный
395
31 января 1:32
Сохранен
573
12 ноября 2023
Сохранен
596
24 марта 2025
Активный
413
31 января 1:32
Сохранен
29
14 октября 2021
Активный
523
31 января 1:32
Активный
551
31 января 1:32
Сохранен
8
24 декабря 2022
Активный
530
31 января 1:32
Сохранен
81
24 декабря 2022
Активный
377
31 января 1:32
Сохранен
614
Оснований тред №4 — Помимо трех основных направлений в основаниях - формализм, логицизм и интуиционизм, иногда возникали идеи построить математику на кардинально отличных от общепринятых принципах. Одно из таких направлений - Сигнифика, Significs. Попытка основать математику на основе естественного языка (т.к. язык и математика - это деятельность человека) принадлежит учителю Брауэра, голландскому математику и философу Герриту Маннури. Согласно его теории уровней языка (таких уровней 5), чисто формальный язык математики (5ый уровень) отличается от языка общения детей (1ый уровень) только степенью связи между словами и их сочетаниями (языковыми конструкциями). Идеи Маннури более чем на столетие опередили свое время, т.к. при его жизни не было методов автоматизированной работы с текстом (NLP, Natural Language Processing). В наше время такие методы развиты достаточно, чтобы поставить вопрос о построении вычислительной сигнифики (Computational Significs) для нужд математики, в т.ч. автоматизированного доказательства теорем и т.о. реализации на этих основах прувера, отличающегося принципом функционирования от всех остальных чуть менее чем полностью. Предыдущий - https://2ch.hk/math/res/17772.html Архив тредов
5 декабря 2024
Сохранен
128
10 августа 2022
Активный
204
Методик изучения математики тред — Методик изучения математики тред Зачем зубрить таблицу умножения и как правильно считать? Как сформировать и развить "математическое чутьё"? Сколько и каких задач надо решать для понимания? Что значит понимать математику? Нужны ли сложные задачи и науч-поп по математике или это развлекательный контент? Как сформировать мотивацию к математике или вообще отбить всякий интерес ("Плач математика")? Почему уровень математических познаний падает? Нужно ли возвращаться с старым учебникам? Как вообще можно обучать математике, какая тут связь с условными рефлексами и основаниями математики? Как написать экзамен по математике, если ничего не понимаешь? Как производственными масштабами выпускать математиков если "Нет царских путей к геометрии"? Можно ли используя измененные состояния сознания (речь не идёт о лихорадке) и современные представления стать как Сриниваса Рамануджан Айенгор? ✵ Эти и подобные вопросы можно будет обсудить в данном треде. ✵ В тред приглашаются учителя/преподаватели математики, со своими прохладными историями. по аналогии с /fl/
31 января 1:32
Сохранен
99
24 декабря 2022
Активный
72
31 января 1:32
Сохранен
306
12 сентября 2023
Активный
333
31 января 1:32
Активный
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 может помочь вам понимать беглую речь преподавателей в институте. (А не страдать по крайностям "это очевидно" и "ничерта не понятно".) Смело задавайте вопросы и высказывайте мнения.
31 января 1:32
Сохранен
20
14 октября 2021
Активный
68
31 января 1:32
Активный
1
ВНИМАНИЕ! — Если ты школьник\студент или просто первый раз зашел на доску, НЕ СОЗДАВАЙ НОВЫЙ ТРЕД, а задай вопрос в прикрепленном треде "математика для начинающих". Так ты повысишь свои шансы получить ответ, а не быть обложенным хуями. Для оформления формул можно использовать LaTeX, формат: [mаth] формула [/mаth] или ﹩формула ﹩.С вопросами по поводу ЕГЭ и поступления: https://2ch.hk/un/ Щитпостинг в тематических модерируемых тредах будет жестко пресекаться. Не пишите в тематические треды, если не уверены, что вам есть что сказать. Список тематических тредов: Тред общематематических разговоров Основания математики Копипасты тред Регулярные локальные кольца Прикладная математика Алгебра Анализ Топология Теория категорий Образование математика Мендельсона тред и Metamath тред International Math Thread Альтернативный тред для начинающих Не следует репортить посты вне тематических тредов, за исключением случаев вайпа или нарушения общих правил 2ch.hk. Обсуждение модерации в этом разделе будет пресекаться в соответствии с пунктом 5 общих правил борды. Претензии к модерации и предложения по поводу развития раздела, а также заявки на включение треда в список модерируемых оставляйте в /d/. Создав тред в /d/, отправьте репорт со ссылкой на него из этого треда. Оставив заявку, не забудьте написать об этом в своем треде с меткой опа; в противном случае тред может быть не добавлен в список. После переката не забудьте отправить репорт из нового треда - так ссылка в списке будет обновлена быстрее. Архивач раздела: http://arhivach.cf/index/faved/alltime/?tags=4909 
31 января 1:32
Сохранен
64
24 декабря 2022