Mathematics and computer science at odds over real numbers

@inproceedings{Scott1991MathematicsAC,
  title={Mathematics and computer science at odds over real numbers},
  author={Thomas J. Scott},
  booktitle={SIGCSE '91},
  year={1991}
}
This paper discusses the " real number " data type as implemented by " floating point " numbers. Floating point implementations and a theorem that characterizes their truncations are presented. A teachable floating point system is presented, chosen so that most problems can be worked out with paper and pencil. Then major differences between floating point number systems and the continuous real number system are presented. Important floating point formats are next discussed. Two examples derived… Expand
8 Citations