Translator Disclaimer
18 January 2006 Perspex machine: VI. A graphical user interface to the perspex machine
Author Affiliations +
The perspex machine is a continuous, super-Turing machine which, in previous work, was simulated programatically on a digital computer in the AI language Pop11. Here we present a C++ simulation of the perspex machine, along with a graphical user interface, that can be used to implement, edit, visualise, instrument, and run perspex programs interactively. The interface uses a number of different projections to make 4D perspex-space more accessible to the user. We also present a new proof of the Walnut Cake Theorem that has much weaker conditions than the previous proof and is, therefore, much more widely applicable. It predicts non-monotonicities in numerical algorithms with sub-quadratic convergence.
© (2006) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Christopher J. A. Kershaw and James A. D. W. Anderson "Perspex machine: VI. A graphical user interface to the perspex machine", Proc. SPIE 6066, Vision Geometry XIV, 60660S (18 January 2006);

Back to Top