Главная – Журналы – Философия науки 2021 номер 4

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