On the Rough Number Computation and the Ada Language

This paper examines a numerical computation problem from a theoretical viewpoint. It concludes that computer systems are not capable of computing real numbers correctly due to the differences between the algebraic structures of real numbers and model numbers. These two classes of numbers are not isomorphic. This paper proposes using the concept of computer model numbers to approximate rough numbers for computation and selecting the Ada language for computation. The Ada language allows a user to declare variables with designated number of digits or to specify a suitable size "small" for computation. This way, the user can preset the desired accuracy for all variables