Error-free computation with finite number systems
Robert Todd Gregory · ACM SIGNUM Newsletter · 1979
Since an automatic digital computer is a finite machine, it is capable of representing, internally, only a finite set of numbers. Thus, any attempt to use an automatic digital computer to do arithmetic in the field of real numbers (R, +, ·) is doomed to failure because R is an infinite set and most of the elements in R cannot be represented.