КОЛЛЕКТИВНЫЕ РЕЗУЛЬТАТЫ И КОЛЛЕКТИВНАЯ ВЕРИФАКАЦИЯ МАТЕМАТИЧЕСКОГО РЕЗУЛЬТАТА
А.В. Хлебалин
Институт философии и права Сибирского отделения Российской академии наук, ул. Николаева, 8, Новосибирск, 630090, Россия sasha_khl@mail.ru
Ключевые слова: коллективное доказательство, верификация доказательства, социальная эпистемология
Страницы: 65-74
Аннотация
В работе выявляются трудности применения концепции верификации доказательства к коллективно полученным математическим результатам на примере теоремы классификации конечных простых групп. Показано, что трудности, возникающие при попытках использования концепции верификации доказательства применительно к коллективным результатам могут преодолеваться средствами социально-эпистемологического исследования. Последние позволяют не только преодолеть неприменимость классических концепций эпистемологии математики к коллективным результатам, но и создать новые концепции, применимые в том числе за пределами исключительно коллективных результатов.
DOI: 10.15372/PS20220405 |