Теперь Кью работает в режиме чтения

Мы сохранили весь контент, но добавить что-то новое уже нельзя

Что такое формалистский подход в математике?

ОбразованиеФилософия+3
Алена Каменецких
Математика и математики
  · 1,5 K
Математик-теоретик, занимаюсь исследованиями в области дифференциальных уравнений с запазд...  · 4 окт 2021
Если понимать "формализм" как термин с негативной коннотацией, то под формалистским подходом в математике можно понимать соблюдение внешней формы при бессмысленном содержании. Например, можно рассмотреть сумму бесконечной геометрической прогрессии
1+x+x^2+x^3+...+x^n+...
Эта сумма имеет смысл только в том случае, если число x по модулю меньше единицы. Однако, этот ряд можно рассмотреть, например, x=-2. Формально такая запись допустима, а по существу бессмысленна, потому что ряд расходится. Обращение с суммой такого ряда как с числом служит бездонным колодцем ошибок у новичков.
У некоторых крышу сносит на том, что для некоторых классов расходящихся рядов можно находить суммы в обобщённом... Читать дальше
Научный журналист  · 4 окт 2021
Это когда ту или иную математическую теорию начинают формализовать, т. е. задается конечный алфавит используемых символов т. н. формальных символов. Дальше задаётся список аксиом, правил вывода, с помощью которых можно получить все результаты формализуемой мат. теории. Полученный формализм мат. теории называется исчислением. Например, так были формадизованы арифметика... Читать далее
Курт Гёдель, Абрахам Робинсон, нестандартный анализ.