Answers are grounded in this paper and cite their sources.
This paper considers informally the relationship between computer aided mathematical proof, formal algebraic languages, computation with transcendental numbers, and proof by sampling.
No takes yet. Share an insight, caveat, or question.
Philip J. Davis (1977) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: