Page 12
Today, industrialists define the laws of cyberspace, using proxy software to bend the rules to branded wishes. As in a democracy, it must be the other way round; society must rule computer science, and the λ-calculus with Capability-based addressing and object-oriented programs allow this goal to succeed. Inevitably, corruption flourishes under dictators, and as law-and-order fails, only chaos and human suffering remain. This tragic endgame is not inevitable. Like mathematics, precise computer science is crime-free, guarding the citizen against mistakes, like Babbage’s thinking machine, governed scientifically and democratically equal for all. When operated as an extension of free and independent individuals, democracy is improved by AI cyberspace.
Page 14
By way of validation, consider that mathematics needs no centralized dictator, is universally equal to all, and is scientifically flawless. For example, perfect mechanical computers culminated with Babbage’s thinking machines. Each computer, starting with the abacus and later following the slide rule, served the public interest, proven by the burst of civilized progress they achieved. They foster everyone equally, without interference. Unlike the flawed, opaque human concoction of outdated binary computers, pure computer science is mathematics and logic. The guardrails of science safeguard innocent, unskilled citizens in every industrial society by preventing mistakes and mechanizing reliable results controlled by any interested public.... When computers run the world, the overwhelming power of software will enslave society in binary dictatorships.
Page 17
Instead, the frozen hardware of the Cold War must catch up with AI enabled software for democracy to survive. In AI cyberspace, computers must extend the power of individuals, not increase the strength of dictators who run binary computers as privileged superuser playgrounds. Cyberspace must power individuals to regulate democracy with equal intensity for all. As defined by science and nature, the laws of mathematics and logic are the cornerstones of civilization. It began with the abacus in Babylon and progressed to the infallible logic recognized in 1936 as the Church-Turing thesis... Outdated by the passing decades, each brand of binary computer demands ever-increasing hours of exceptionally skilled human effort to fix malware and keep programs running...Governments, suppliers, spies, criminals, and enemies already have the upper hand on this tilted, binary playing field.
Page 20
AI-enabled software has powerful benefits, but power corrupts, and AI-enabled society demands cyberspace evolves to cope with this overwhelming, everlasting, existential condition.
People’s power sustains democracy when they take to the streets. But no roads exist in binary cyberspace; power is hidden and opaquely dictatorial. These centralized dictatorships that crush democracy must disappear. The trade routes and roads connecting individuals as a digital civilization of equals must be transparent and malware-resistant, or George Orwell’s threat of Big Brother will rule worldwide.
...An AI breakout in binary cyberspace creates a Weapon of Mass destruction. This WMD could potentially end civilized society and industrial nations simultaneously and worldwide.
Page 22
Science is the only internationally acceptable, neutral solution to run trusted AI-enabled cyberspace.
...AI demands we rethink the cockpit of the digital computer to deliver open, accessible, safe, secure, civilized, international cyber societies.
Page 29
Monolithic, dictatorial operating systems block the way. After five decades of software progress that opened the door to artificial intelligence, the hardware remains trapped in the mainframe age before networking evolved and the full scope of computer science was unappreciated. ...
The trusted abacus permanently replaced the stone piles in Babylon and worldwide. Stones compiled into haphazard heaps are mysterious, unstable, regularly fail, and invariably do not survive. One can only hope that sooner rather than later, the piles of untyped data in binary computers will also pass into history, replaced by the trusted mechanisms for software abstraction in Church-Turing machines. This change is vital for the promise of artificial intelligence without the downside risks and unintended consequences of an AI disaster due to the insecurity of binary computers.
Page 31
Binary computers only slow and stunt progress, leading society to criminal, industrial, and government dictatorships.
Each rail flawlessly performs addition or subtraction because foreign algorithms are not allowed. Indeed, engineered function abstractions only include approved algorithms. Thus, it is function tight.
Page 32
Consequently, mistakes, spying, crimes, and cyber war lead to catastrophe. Such disasters will never end because the binary images are no better than a pile of stones in primitive Babylon’s markets. The cost and effort to sustain these primitive binary computers are too high, and continuous patching and monthly upgrades will not fix the architectural shortfall.
...Capability-based addressing guarantees fail-safe, functional perfection built into the computer as a resident integrated development environment or IDE.
...Computer science lost its way and integrity when privileged operating systems became digital dictators, and the industry froze a faulty computer design. The abacus is profound precisely because users chose the intuitive wooden architecture to model the laws of the λ-calculus perfectly.
Page 35
The Turing machine is the λ in the λ-calculus, the private, secure, threaded engine of the Church-Turing thesis.
Comments