The book "Civilizing Cyberspace" by Kenneth J. Hamer-Hodges presents the comprehensive argument for replacing the flawed General-Purpose Computer architecture, which originated during World War II, with Industrial Strength Computer Science based on the Church-Turing Thesis and the lambda-calculus. The author, who worked on the pioneering PP250 capability-based computer, asserts that traditional systems are inherently vulnerable to malware, hacking, and digital dictatorship due to their reliance on blind trust, shared memory, and superuser privileges. The core solution proposed is the implementation of Church-Turing Machines using Capability Limited Addressing and object-oriented machine code to ensure a fail-safe, future-safe, and democratic cyber-society where cybersecurity and functionality are unified and errors are detected instantly. This monumental shift, echoing the principles of Charles Babbage and Ada Lovelace, is deemed necessary for the survival of civilisation against threats like Artificially Intelligent Malware.
Comments