On the Difficulty of Discovering Mathematical Proofs - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Synthese Année : 2023

On the Difficulty of Discovering Mathematical Proofs

Résumé

An account of mathematical understanding should account for the differences between theorems whose proofs are "easy" to discover, and those whose proofs are difficult to discover. Though Hilbert seems to have created proof theory with the idea that it would address this kind of "discovermental complexity", much more attention has been paid to the lengths of proofs, a measure of the difficulty of verifying of a given formal object that it is a proof of a given formula in a given formal system. In this paper we will shift attention back to discovermental complexity, by addressing a "topological" measure of proof complexity recently highlighted by Alessandra Carbone (2009). Though we will contend that Carbone's measure fails as a measure of discovermental complexity, it forefronts numerous important formal and epistemological issues that we will discuss, including the structure of proofs and the question of whether impure proofs are systematically simpler than pure proofs.
Fichier principal
Vignette du fichier
Arana Stafford discovery proof complexity Synthese 2023.pdf (717.18 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04152778 , version 1 (08-08-2023)

Identifiants

Citer

Andrew Arana, Will Stafford. On the Difficulty of Discovering Mathematical Proofs. Synthese, 2023, 202 (2), pp.38. ⟨10.1007/s11229-023-04184-5⟩. ⟨hal-04152778⟩
23 Consultations
23 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More