Геометрический ряд
числовой сходящийся ряд вида (|q| < 1): a1 + a1q + … + a1qn + …; сумма его равна a1/1 - q
метатеория математики, изучающая основания, структуру и методы математики
Аристотеля противопоставляются понятия общности и единичности, которые на самом деле несопоставимы; в метаматематике
В статье предлагается расширенное видение математики как трансдисциплинарного органона современных наук. Этому видению предпослан анализ метаматематики как традиционной области методологической рефлексии математики и ее оснований с помощью логико-математических средств. Автор рассматривает основные особенности, ограничения и тенденции развития метаматематического подхода. На этом фоне предлагается наметить другой путь рефлексии математики, опирающийся на междисциплинарный подход современной когнитивистики. Рассматривая сходства и различия этих подходов, автор пытается определить области их совпадения и разграничения. В целом предполагается, что подход когнитивистики к рефлексии математики является более широким и комплексным, чем метаматематика, хотя на определенных уровнях они близки или даже совпадают. В связи с этим более широкий подход когнитивистики открывает дополнительные возможности в комплексном исследовании математики в качестве трансдисциплинарного органона.
Статья посвящена исследованию статуса интенсиональности в точных контекстах логических и математических теорий. Возникновение интенсиональности в логико-математическом дискурсе приводит к значительным препятствиям в его формализации из-за наличия различного рода трудно учитываемых смысловых различений. Показано, что интенсиональность свойственна дедуктивным теориям, в которых перевод формальных результатов в обыденный дискурс обеспечивает их значимость в каркасе, объединяющим как собственно математические, так и метаматематические результаты.
числовой сходящийся ряд вида (|q| < 1): a1 + a1q + … + a1qn + …; сумма его равна a1/1 - q
квадратные матрицы A и B одинакового порядка, для которых оба произведения AB и BA имеют смысл и AB = BA
дифференциал функции нескольких переменных
Наведи камеру телефона на QR-код — бот Автор24 откроется на вашем телефоне