24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Активный
154
28 февраля 13:05
Активный
46
28 февраля 13:05
Сохранен
71
11 июня 2024
Сохранен
1277
11 сентября 2024
Сохранен
614
Оснований тред №4 — Помимо трех основных направлений в основаниях - формализм, логицизм и интуиционизм, иногда возникали идеи построить математику на кардинально отличных от общепринятых принципах. Одно из таких направлений - Сигнифика, Significs. Попытка основать математику на основе естественного языка (т.к. язык и математика - это деятельность человека) принадлежит учителю Брауэра, голландскому математику и философу Герриту Маннури. Согласно его теории уровней языка (таких уровней 5), чисто формальный язык математики (5ый уровень) отличается от языка общения детей (1ый уровень) только степенью связи между словами и их сочетаниями (языковыми конструкциями). Идеи Маннури более чем на столетие опередили свое время, т.к. при его жизни не было методов автоматизированной работы с текстом (NLP, Natural Language Processing). В наше время такие методы развиты достаточно, чтобы поставить вопрос о построении вычислительной сигнифики (Computational Significs) для нужд математики, в т.ч. автоматизированного доказательства теорем и т.о. реализации на этих основах прувера, отличающегося принципом функционирования от всех остальных чуть менее чем полностью. Предыдущий - https://2ch.hk/math/res/17772.html Архив тредов
5 декабря 2024
Сохранен
1134
11 июня 2024
Сохранен
1180
11 июня 2024
Активный
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 
28 февраля 13:05
Сохранен
1124
12 ноября 2023
Сохранен
1269
12 ноября 2023
Сохранен
573
12 ноября 2023
Сохранен
1058
23 октября 2023
Активный
50
28 февраля 13:05
Активный
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 А теперь проводим во всей математике "Черту Позора": В левой части у нас будет "Точная Метематика", а в правой - "Примерная Математика". Ну так вот, производную, дифференциал и интеграл и всё, что на них основано мы "выбрасываем" в правую часть. Потому что с их помощью у нас получаются всегда только лишь приблизительные расчёты.
28 февраля 13:05
Сохранен
26
24 декабря 2022
Сохранен
306
12 сентября 2023
Сохранен
58
15 сентября 2023
Активный
413
28 февраля 13:05
Сохранен
137
12 ноября 2023
Активный
50
28 февраля 13:05
Сохранен
99
24 декабря 2022
Активный
94
28 февраля 13:05
Активный
570
28 февраля 13:05
Сохранен
646
10 августа 2022
Сохранен
12
15 сентября 2023

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