The Power of CLOOMC, Capability-Limited/Object-Oriented/Machine-Code Alonzo Church's Lambda Calculus   ....encapsulates      Alan Turing's Binary Computer    one function at a time creates Industrial Strength Computer Science (ISCS) This is the scientific framework of the Church-Turing Thesis.  This robust approach combines the scientific ideas of Alonzo Church and Alan Turing to democratise fail-safe, corruption-free software. Hardware guardrails detect malware, ransomware, and program bugs in advance, regardless of a programmer’s skill level. ISCS unites four reinforcing technologies: symbolic mathematics, Lambda Calculus, capability-limited addressing, and object-oriented programming.  The guardrails are built into the hardware as type-limited checks of every memory access. It creates a high-level programming language executed directly by machine code, the computational surface of computer science. Object-oriented abstrac...