Evolutionary and revolutionary effects of transcomputation
Anderson, J. (2011) Evolutionary and revolutionary effects of transcomputation. In: 2nd IMA Conference on Mathematics in Defence 2011, October 2011, Defence Academy of the United Kingdom, Shrivenham, England..
Full text not archived in this repository.
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. J. A. D. W. Anderson, Norbert Völker, Andrew A. Adams “PerspexMachine VIII: Axioms of Transreal Arithmetic” in Vision GeometryXV, Longin Jan Lateki, David M. Mount, Angela Y. Wu, Editors,Proceedings of SPIE Vol. 6499 (2007).2. J.A.D.W. Anderson “Perspex Machine XI: Topology of the Tran-sreal Numbers” in IMECS 2008, S.I. Ao, Oscar Castillo, CraigDouglas, David Dagan Feng, Jeong-A Lee Editors, Hong Kong, pp.330-338, March (2008).3. IEEE Standard 754 for Binary Floating-Point Arithmetic (1985).4. IEEE Standard 754 for Floating-Point Arithmetic (2008).5. S. Swierczkowski, Sets and Numbers, Routledge & Kegan Paul,(1972).6. L. Arkeryd, “The Evolution of Nonstandard Analysis” in The Math-ematical Association of America Monthly, no.112, 926-928 (2005).7. G. Leibman, “A Nonstandard Proof of the Fundamental Theorem ofAlgebra” in The Mathematical Association of America Monthly,no.112, 705-712 (2005).8. J. A. D. W. Anderson “Perspex Machine IX: Transreal Analysis” inVision Geometry XV, Longin Jan Lateki, David M. Mount, AngelaY. Wu, Editors, Proceedings of SPIE Vol. 6499 (2007).9. An implementation of transcomplex arithmetic, in Pop11, alongwith examples of the calculation of gravitational and electrostaticsingularities has been available since 5 Nov. 2010 athttp://www.bookofparagon.com/Pages/Downloads.htm10. J.A.D.W. Anderson, “Representing Geometrical Knowledge” inPhil. Trans. Roy. Soc. Lond. series B, 352, no. 1358, 1129-1139(1997).11. J. Carlström, Wheels — on division by zero Mathematical Struc-tures in Computer Science, 14, no. 1, 143-184 (2004