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