Open Internet by MindsNet

Quantifying the Role of Proofs in Modern Pure Mathematics Research

The source item seeks to understand the proportion of modern pure mathematics research dedicated to proving versus other activities like creating new definitions or axioms. This highlights a challenge in understanding the research landscape and potentially optimizing research focus.

Mathematics & logic, Mathematics, Mathematical Logic