Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Поиск по журналу

Философия науки

2022 год, номер 4

КОЛЛЕКТИВНЫЕ РЕЗУЛЬТАТЫ И КОЛЛЕКТИВНАЯ ВЕРИФАКАЦИЯ МАТЕМАТИЧЕСКОГО РЕЗУЛЬТАТА

А.В. Хлебалин
"Институт философии и права Сибирского отделения Российской академии наук, ул. Николаева, 8, Новосибирск, 630090, Россия
sasha_khl@mail.ru"
Ключевые слова: коллективное доказательство, верификация доказательства, социальная эпистемология
Страницы: 65-74

Аннотация

В работе выявляются трудности применения концепции верификации доказательства к коллективно полученным математическим результатам на примере теоремы классификации конечных простых групп. Показано, что трудности, возникающие при попытках использования концепции верификации доказательства применительно к коллективным результатам могут преодолеваться средствами социально-эпистемологического исследования. Последние позволяют не только преодолеть неприменимость классических концепций эпистемологии математики к коллективным результатам, но и создать новые концепции, применимые в том числе за пределами исключительно коллективных результатов.

DOI: 10.15372/PS20220405