метатеория математики, изучающая основания, структуру и методы математики
Аристотеля противопоставляются понятия общности и единичности, которые на самом деле несопоставимы; в метаматематике
В статье предлагается расширенное видение математики как трансдисциплинарного органона современных наук. Этому видению предпослан анализ метаматематики как традиционной области методологической рефлексии математики и ее оснований с помощью логико-математических средств. Автор рассматривает основные особенности, ограничения и тенденции развития метаматематического подхода. На этом фоне предлагается наметить другой путь рефлексии математики, опирающийся на междисциплинарный подход современной когнитивистики. Рассматривая сходства и различия этих подходов, автор пытается определить области их совпадения и разграничения. В целом предполагается, что подход когнитивистики к рефлексии математики является более широким и комплексным, чем метаматематика, хотя на определенных уровнях они близки или даже совпадают. В связи с этим более широкий подход когнитивистики открывает дополнительные возможности в комплексном исследовании математики в качестве трансдисциплинарного органона.
Статья посвящена исследованию статуса интенсиональности в точных контекстах логических и математических теорий. Возникновение интенсиональности в логико-математическом дискурсе приводит к значительным препятствиям в его формализации из-за наличия различного рода трудно учитываемых смысловых различений. Показано, что интенсиональность свойственна дедуктивным теориям, в которых перевод формальных результатов в обыденный дискурс обеспечивает их значимость в каркасе, объединяющим как собственно математические, так и метаматематические результаты.
преобразование плоскости (пространства), переводящее каждую точку P в такую точку P′, лежащую на луче OP , что OP̅ · OP̅′ = c, где O — фиксированная точка (центр, или полюс инверсии) и c ≠ 0 — постоянная (коэффициент, или степень инверсии)
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
интеграл вероятностей
Возможность создать свои термины в разработке
Еще чуть-чуть и ты сможешь писать определения на платформе Автор24. Укажи почту и мы пришлем уведомление с обновлением ☺️
Включи камеру на своем телефоне и наведи на Qr-код.
Кампус Хаб бот откроется на устройстве
