Mathematics in Defence 2011 Abstract. We review transreal arithmetic and present transcomplex arithmetic. These arithmetics have no exceptions. This leads to incremental improvements in computer hardware and software. For example, the range of real numbers, encoded by floating-point bits, is doubled when all of the Not-a-Number(NaN) states, in IEEE 754 arithmetic, are replaced with real numbers. The task of programming such systems is simplified and made safer by discarding the unordered relational operator,leaving only the operators less-than, equal-to, and greater than. The advantages of using a transarithmetic in a computation, or transcomputation as we prefer to call it, may be had by making small changes to compilers and processor designs. However, radical change is possible by exploiting the reliability of transcomputations to make pipelined dataflow machines with a large number of cores. Our initial designs are for a machine with order one million cores. Such a machine can complete the execution of multiple in-line programs each clock tick
[1]
George Leibman,et al.
A Nonstandard Proof of the Fundamental Theorem of Algebra
,
2005,
Am. Math. Mon..
[2]
G. T. Kneebone,et al.
Sets and numbers
,
1972
.
[3]
J. A. Anderson,et al.
Representing geometrical knowledge.
,
1997,
Philosophical transactions of the Royal Society of London. Series B, Biological sciences.
[4]
James Anderson.
Perspex machine XI: topology of the transreal numbers
,
2008
.
[5]
Jesper Carlström,et al.
Wheels – on division by zero
,
2004,
Mathematical Structures in Computer Science.
[6]
James Anderson.
Perspex Machine IX: transreal analysis
,
2007,
Electronic Imaging.
[7]
Norbert Völker,et al.
Perspex Machine VIII: axioms of transreal arithmetic
,
2007,
Electronic Imaging.