Прошлые домены не функционирует! Используйте адрес ARHIVACH.VC.
24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Сохранен
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 А теперь проводим во всей математике "Черту Позора": В левой части у нас будет "Точная Метематика", а в правой - "Примерная Математика". Ну так вот, производную, дифференциал и интеграл и всё, что на них основано мы "выбрасываем" в правую часть. Потому что с их помощью у нас получаются всегда только лишь приблизительные расчёты.
12 августа 21:04
Активный
395
12 августа 21:04
Сохранен
573
12 ноября 2023
Сохранен
596
24 марта 10:16
Активный
413
12 августа 21:04
Сохранен
29
14 октября 2021
Активный
523
12 августа 21:04
Сохранен
8
24 декабря 2022
Активный
530
12 августа 21:04
Активный
551
12 августа 21:04
Сохранен
614
Оснований тред №4 — Помимо трех основных направлений в основаниях - формализм, логицизм и интуиционизм, иногда возникали идеи построить математику на кардинально отличных от общепринятых принципах. Одно из таких направлений - Сигнифика, Significs. Попытка основать математику на основе естественного языка (т.к. язык и математика - это деятельность человека) принадлежит учителю Брауэра, голландскому математику и философу Герриту Маннури. Согласно его теории уровней языка (таких уровней 5), чисто формальный язык математики (5ый уровень) отличается от языка общения детей (1ый уровень) только степенью связи между словами и их сочетаниями (языковыми конструкциями). Идеи Маннури более чем на столетие опередили свое время, т.к. при его жизни не было методов автоматизированной работы с текстом (NLP, Natural Language Processing). В наше время такие методы развиты достаточно, чтобы поставить вопрос о построении вычислительной сигнифики (Computational Significs) для нужд математики, в т.ч. автоматизированного доказательства теорем и т.о. реализации на этих основах прувера, отличающегося принципом функционирования от всех остальных чуть менее чем полностью. Предыдущий - https://2ch.hk/math/res/17772.html Архив тредов
5 декабря 2024
Активный
377
12 августа 21:04
Сохранен
81
24 декабря 2022
Сохранен
128
10 августа 2022
Активный
204
Методик изучения математики тред — Методик изучения математики тред Зачем зубрить таблицу умножения и как правильно считать? Как сформировать и развить "математическое чутьё"? Сколько и каких задач надо решать для понимания? Что значит понимать математику? Нужны ли сложные задачи и науч-поп по математике или это развлекательный контент? Как сформировать мотивацию к математике или вообще отбить всякий интерес ("Плач математика")? Почему уровень математических познаний падает? Нужно ли возвращаться с старым учебникам? Как вообще можно обучать математике, какая тут связь с условными рефлексами и основаниями математики? Как написать экзамен по математике, если ничего не понимаешь? Как производственными масштабами выпускать математиков если "Нет царских путей к геометрии"? Можно ли используя измененные состояния сознания (речь не идёт о лихорадке) и современные представления стать как Сриниваса Рамануджан Айенгор? ✵ Эти и подобные вопросы можно будет обсудить в данном треде. ✵ В тред приглашаются учителя/преподаватели математики, со своими прохладными историями. по аналогии с /fl/
12 августа 21:04
Активный
72
12 августа 21:04
Сохранен
99
24 декабря 2022
Сохранен
306
12 сентября 2023
Сохранен
20
14 октября 2021
Активный
332
вчера 2:18
Активный
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 может помочь вам понимать беглую речь преподавателей в институте. (А не страдать по крайностям "это очевидно" и "ничерта не понятно".) Смело задавайте вопросы и высказывайте мнения.
12 августа 21:04
Сохранен
64
24 декабря 2022
Активный
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 
12 августа 21:04
Активный
60
Ты - не математик, если не знаешь NBG. — Решаем Mendelson Elliott: Introduction to Mathematical Logic http://rgho.st/7WHmFCSPM По моему скромному разумению - уметь решать эти задачи максимально чётко должен уметь всякий уважающий себя математик, и неважно в какой сфере он работает. Здесь я буду постить решения, до тех пор пока не прорешаю всё. Если кто хочет за компанию - присоединяйтесь, спрашивайте, предлагайте свои варианты, критикуйте. Пикрелейтед включает в себя необходимые 13 аксиом(с галочками), которые составляют суть теории. Чем крута NBG? 1) конечной аксиоматизируемостью(в отличие от ZFC) 2) отсутствием парадоксов (в отличие от наивной теории множеств) 3) наличием классов (в отличие от ZFC) 4) после её изучения - понятно о чём стандартные вузовские курсы 5) высокой скоростью доказывания, по сравнению с HoTT-ом, например, который собственно ещё очень сырой и совершенно невоспринимаем большинством математиков. A про книгу - выдержала 6 изданий, что косвенно говорит о качестве. В подарок - определим таки наконец ординалы, и не только N. Короче, в добрый путь!
12 августа 21:04