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 KroneckerNumber theorists are like lotus-eaters -- having once tasted of this food they can never give it up.
Leopold Kronecker