Communication Dans Un Congrès Année : 2025

Do computer-assisted proofs change the game for mathematical contingentism?

Résumé

Far from being a secondary point in David Bloor's argument, contingentism in mathematics is its cornerstone. One might think that the mechanization of mathematical proofs by proof assistants has changed the game by giving mathematics a new form of necessity. However, we will see that Bloor's arguments have both as much and as little reason to hold: other forms of mathematics are still possible, but sociological empiricism has not been proven.

BMeles-Bloor-contingentism_mathematics.pdf (918.03 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

halshs-05542160 , version 1 (08-03-2026)

Identifiants

  • HAL Id : halshs-05542160 , version 1

Citer

Baptiste Mélès. Do computer-assisted proofs change the game for mathematical contingentism?. David Bloor and the contingency of the formal sciences, Léna Soler, Oct 2025, Nancy, France. ⟨halshs-05542160⟩
18 Consultations
5 Téléchargements

Partager

  • More