Civilizing Cyberspace
Private digital property secured by the individual citizens of cyber society is the key to Civilizing Cyberspace as a D...
Read More
Industrial Strength Computer Science
Implementing both sides of the Church-Turing Thesis creates Industrial Strength Computers founded on the laws of the La...
Read More
Object-Oriented Machine Code
Hardened digital boundaries implemented at machine level by Capability Limited Addressing are key to extreme computer s...
Read More
Church-Turing Machines
The PP250 is of interest because it is the only example of a Church-Turing Machine. Instead of von Neumann's shared memory the PP250 used a Lambda Calculus Meta-Machine to modularize the Object-Oriented Machine code by adding a handful of functional Church-Instructions. These Church-Instructions use Capability Keys and Capability Limited Addressing to protect the substituted implementations of each mathematical symbol. This architecture detects all software errors, malware and hacking on the spot.
The PP250
PP250 was started in 1969 at Plessey Telecommunications Reseach, pioneering object-oriented programing and Capability Limited Addressing. The goal was industrial strength software reliability that would last for decades.