Proof, Completeness, Transcendentals, and Sampling
This paper considers informally the relationship between computer aided mathematical proof, formal algebraic languages, computation with transcendental numbers, and proof by sampling.