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}
}
  • T. J. Scott
  • Published in SIGCSE '91 1 March 1991
  • Computer Science
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… 
Educational issues on number representation and arithmetic in computers: an undergraduate laboratory
This paper presents an initiative to teach computer representation of numbers and arithmetic in undergraduate courses in computer science and engineering. The approach is based upon carefully
An Approach to Teaching Computer Arithmetic
In this work we present an initiative to support teaching computer representation of numbers (both integer and floating point) as well as arithmetic in undergraduate courses in computer science and
A Bibliography of Publications on Floating-Point Arithmetic
This is a bibliography of material on floating-point arithmetic that I came up with while doing research on a floating-point package of my own. I don’t claim it to be anywhere near complete. The
RACFP: a training tool to work with floating-point representation, algorithms, and circuits in undergraduate courses
TLDR
RACFP design pursues two main goals: to minimize the complexity of the learning process and to encourage students when working with floating point.
FPAvisual: A Tool for Visualizing the Effects of Floating-Point Finite-Precision Arithmetic
TLDR
FPAvisual, a visualization tool that helps instructors teach the reasons for the inaccuracies caused by floating-point arithmetic (FPA), their impact and significance in programs, and the techniques to improve the accuracy is presented.
FPAvisual: A Tool for Visualizing the Effects of Floating-Point Finite-Precision Arithmetic
TLDR
FPAvisual, a visualization tool that helps instructors teach the reasons for the inaccuracies caused by floating-point arithmetic (FPA), their impact and significance in programs, and the techniques to improve the accuracy is presented.
FPAvisual: A tool for visualizing the effects of floating-point finite-precision arithmetic
TLDR
FPAvisual, a visualization tool that helps instructors teach the reasons for the inaccuracies caused by floating-point arithmetic (FPA), their impact and significance in programs, and the techniques to improve the accuracy, is presented.
Online Tutorial Tools to Practice Data Representation
Data representation is an important topic in the Computer Science curriculum. This paper introduces a set of tutorial tools for students to practice binary basics, two's complement representation and
Computer Science
TLDR
It is shown that despite the spread of studies, at the last time-session, the issues were always present simultaneously at the same time in accumulation, which makes computer science the primary foundation for skills and professions in the 21st century through the education system.

References

SHOWING 1-10 OF 12 REFERENCES
A Survey of Some Recent Contributions to Computer Arithmetic
  • H. Garner
  • Computer Science
    IEEE Transactions on Computers
  • 1976
This paper surveys some recent contributions to computer arithmetic. The survey includes floating-point arithmetic, nonstandard number systems, and the generation of elementary functions. The design
Turing award lecture
TLDR
Karp introduced the now standard methodlogy for proving problems to be NP-complete which has led to the identification of many theoretical and practical problems as being computationally difficult.
International Business Machines Corporation VM/SP with RACF
TLDR
The NCSC evaluation team has determined that the highest class at which VM/SP with RACF satisfies all the specified requirements of the Criteria is class C2.
Manual. Borland International, Inc
  • Manual. Borland International, Inc
  • 1987
IBMP72 IBM System/370 Principles of Operation
  • IBMP72 IBM System/370 Principles of Operation
Binary Floating-Point Arithmetic Institute of Electrical and Electronic Engineers
  • IEEE85 IEEE Standard
  • 1985
BORL$7a Turbo Basic 1.0 Manual
  • BORL$7a Turbo Basic 1.0 Manual
  • 1987
...
...