Only Text Quote
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.
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.