Испытания Бернулли
последовательность n независимых испытаний, каждое с двумя исходами ("успех" - "неудача"), вероятности которых (p,q) не меняются от испытания к испытанию
метатеория математики, изучающая основания, структуру и методы математики
Аристотеля противопоставляются понятия общности и единичности, которые на самом деле несопоставимы; в метаматематике
В статье предлагается расширенное видение математики как трансдисциплинарного органона современных наук. Этому видению предпослан анализ метаматематики как традиционной области методологической рефлексии математики и ее оснований с помощью логико-математических средств. Автор рассматривает основные особенности, ограничения и тенденции развития метаматематического подхода. На этом фоне предлагается наметить другой путь рефлексии математики, опирающийся на междисциплинарный подход современной когнитивистики. Рассматривая сходства и различия этих подходов, автор пытается определить области их совпадения и разграничения. В целом предполагается, что подход когнитивистики к рефлексии математики является более широким и комплексным, чем метаматематика, хотя на определенных уровнях они близки или даже совпадают. В связи с этим более широкий подход когнитивистики открывает дополнительные возможности в комплексном исследовании математики в качестве трансдисциплинарного органона.
Статья посвящена исследованию статуса интенсиональности в точных контекстах логических и математических теорий. Возникновение интенсиональности в логико-математическом дискурсе приводит к значительным препятствиям в его формализации из-за наличия различного рода трудно учитываемых смысловых различений. Показано, что интенсиональность свойственна дедуктивным теориям, в которых перевод формальных результатов в обыденный дискурс обеспечивает их значимость в каркасе, объединяющим как собственно математические, так и метаматематические результаты.
последовательность n независимых испытаний, каждое с двумя исходами ("успех" - "неудача"), вероятности которых (p,q) не меняются от испытания к испытанию
множество, в котором не существует связного подмножества, содержащего более одной точки
цепь, не содержащая цикла (т. е. все ее вершины различны)