On the difficulty of discovering mathematical proofs

DOI10.1007/S11229-023-04184-5MaRDI QIDQ6835094zbMATH OpenFDO

Authors Andrew Arana, Will Stafford

Publication date 31 March 2026

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11229-023-04184-5

zbMATH Keywords

proof complexityproof discoveryproof puritytopology

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Complexity of proofs (03F20)

This page was built for publication: On the difficulty of discovering mathematical proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6835094)