Definitions must contain the means of reaching a decision in a finite number off steps, and existence proofs must be conducted so that the quantity in question can be calculated with any degree of accuracy.
Leopold KroneckerWhat good your beautiful proof on the transcendence of Pi: Why investigate such problems, given that irrational numbers do not even exist?
Leopold Kronecker