The Church-Turing Meta-Machine (CTMM)
As a computer science expert I will remain unsatisfied until America achieves "Industrial Strength Computer Science," for every individual. It is the only way to sustain democracy in a world enveloped by cyberspace. When I graduated in the mid 1960s, one could not buy a computer, or any software. One had to start from scratch like any DYI task. I began at Plessey, a telecommunication company in the UK. The small team I joined researched ways to design and build a Fault-Tolerant computer for Plessey's telephone industry.
To cut a long story short, we knew of the dual nature of computer science known as the Church-Turing Thesis and we chose to achieved both sides of a bicameral computer by adding Capability Based Addressing to a reduced instruction set binary computer. The two side interconnect using the laws of the Lambda Calculus. I led the implementation of the Meta-Machine that defined the microcode for the PP250. It will always remain a profound experience.
It was the first successful implementation of a fail-safe, capability-based computer. Like mathematics it is defined by symbolic names and symbolic addressing for light weight computational thread in a private, object-oriented, Lambda-Calculus namespace. Errors are detected on the surface of computer science as abstractions execute and the power of software forms, limited by atomically defined, immutable capabilities, the digital gold of cyberspace
I call this CLOOMC, and I have authored three books detailing the philosophy and mechanics of secure computing: Civilizing Cyberspace, The Fate of AI Society, and Winning World War III. My technical focus on CLOOMC (Capability-Limited/Object-Oriented/Machine-Code) concerns the implementation of six "Church Instructions," named after Alonzo Church, Alan Turing tutor at Princeton University in 1936. Just six Meta-Instructions LOAD, SAVE, CALL, RETURN, CHANGE, SWITCH encapsulate the standard binary computer to scientifically hide the implementation details as a secure cyberspace architecture, and solve the Original Sin of John von Neumann.
Comments