Prolegomena to any theory of proof simplicity
Work
Year: 2019
Type: article
Abstract: By looking at concrete examples from elementary geometry, we analyse the manner in which the simplicity of proofs could be defined. We first find that, when presented with two proofs coming from mutua... more
Source: Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
Author Victor Pambuccian
Institution Arizona State University
Cites: 28
Cited by: 6
Related to: 10
FWCI: 0.844
Citation percentile (by year/subfield): 59.61
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze