The Threats of an AI-Empowered Society and the Digital Science of the Church-Turing Thesis:

Three critical questions must be addressed. First, how does the Digital Science of the Church-Turing Thesis solve the dilemma of malware and AI-breakout? Second, how do outdated binary computers increase the threats of an AI-empowered society? Third, what steps prevent global destruction driven by undetected AI breakout?

In the book "The Fate of AI Society," Kenneth Hamer-Hodges explains why centralized binary computers are unchecked threats to AI society. The outdated binary computer must evolve and offer fail-safe, data, and function-tight software computation. Only when hardware catches up with superhuman software is society protected and democratic individuality supported over industrial and government dictators.

The Church-Turing Thesis defines a distributed universe of flawless, function abstractions that execute privately as secure computational threads. The mathematical logic of the λ-calculus makes this so by replacing centralized superuser mechanisms only needed for branded virtual memory. hardware.

The monopolistic industry leaders froze these branded concoctions to prevent hardware progress to match the Church-Turing Thesis. They still lack concern for progress and the cost of international cybercrime. Problems will amplify existentially as unpreventable, undetected, superhuman attacks undermine the binary computer. This is a man-made disaster that leads to an Orwellian endgame with increased suppression.

To prevent global destruction requires a digital Manhattan Project to enforce Church and Turing's pure, fail-safe science.  understands computer science as the extension of private, individual citizens as independent nations. Like cash in society, immutable golden tokens are hard digital assets programmed without any branded baggage or centralized privilege. 

The future depends on the two cornerstones of computer science. Adding the guard rails of the λ-calculus empowers scientifically provable computational safety. The symbolically defined software modules in a private λ-calculus namespace engineer software as a digital science. Modules have measured reliability, coherent digital boundaries, modular functionality, and well-defined scientific properties, just like hardware. In short, computer science is engineered and made fail-safe. The λ-calculus machinery replaces the opaque concoctions with six simple machine instructions. 

Urgently, outdated binary computers must evolve as fail-safe machines. Data and function-tight software must constrain and target superhuman AI powers. Individuals, instead of dictators, must prosper. The Church-Turing Thesis defines computer science as a distributed universe of flawless, individual function abstractions in private and secure computational threads. It requires a digital Manhattan Project to replace binary computers and extend individuals and nations freed from branded industrial dictators.

See also and this AI summary