Абелев интеграл
интеграл вида ∫f (x, y) dx, (от a до b), где f — рациональная функция от двух переменных и y — алгебраическая функция от x
метатеория математики, изучающая основания, структуру и методы математики
Аристотеля противопоставляются понятия общности и единичности, которые на самом деле несопоставимы; в метаматематике
В статье предлагается расширенное видение математики как трансдисциплинарного органона современных наук. Этому видению предпослан анализ метаматематики как традиционной области методологической рефлексии математики и ее оснований с помощью логико-математических средств. Автор рассматривает основные особенности, ограничения и тенденции развития метаматематического подхода. На этом фоне предлагается наметить другой путь рефлексии математики, опирающийся на междисциплинарный подход современной когнитивистики. Рассматривая сходства и различия этих подходов, автор пытается определить области их совпадения и разграничения. В целом предполагается, что подход когнитивистики к рефлексии математики является более широким и комплексным, чем метаматематика, хотя на определенных уровнях они близки или даже совпадают. В связи с этим более широкий подход когнитивистики открывает дополнительные возможности в комплексном исследовании математики в качестве трансдисциплинарного органона.
Статья посвящена исследованию статуса интенсиональности в точных контекстах логических и математических теорий. Возникновение интенсиональности в логико-математическом дискурсе приводит к значительным препятствиям в его формализации из-за наличия различного рода трудно учитываемых смысловых различений. Показано, что интенсиональность свойственна дедуктивным теориям, в которых перевод формальных результатов в обыденный дискурс обеспечивает их значимость в каркасе, объединяющим как собственно математические, так и метаматематические результаты.
интеграл вида ∫f (x, y) dx, (от a до b), где f — рациональная функция от двух переменных и y — алгебраическая функция от x
точка, в которой дивергенция положительна
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)