COLLECTIVE RESULTS AND VERIFICATION OF A COLLECTIVE MATHEMATICAL RESULT
Alexander Valerievich Khlebalin
Institute of Philosophy and Law of the Siberian Branch of the Russian Academy of Sciences, 8, Nikolaeva st., Novosibirsk, 630090, Russia
Keywords: collective proof, proof verification, social epistemology
Abstract
The paper reveals the difficulties of applying the proof verification concept to collectively obtained mathematical results using the classification theorem for finite simple groups as an example. It is shown that the difficulties that arise when trying to use the concept of proof verification to collective results can be overcome by means of socio-epistemological research. The latter allow not only to overcome the inapplicability of the classical concepts of the epistemology of mathematics to collective results, but also to create new concepts that are applicable, including beyond the limits of exclusively collective results.
|
