Ada was Ahead of her Time

‘Those who view mathematical science, not merely as a vast body of abstract and immutable truths, whose intrinsic beauty, symmetry and logical completeness, when regarded in their connexion together as a whole, entitle them to a prominent place in the interest of all profound and logical minds, but as possessing a yet deeper interest for the human race, when it is remembered that this science constitutes the language through which alone we can adequately express the great facts of the natural world, and those unceasing changes of mutual relationship which, visibly or invisibly, consciously or unconsciously to our immediate physical perceptions, are interminably going on in the agencies of the creation we live amidst: those who thus think on mathematical truth as the instrument through which the weak mind of man can most effectually read his Creator's works, will regard with especial interest all that can tend to facilitate the translation of its principles into explicit practical forms.’   Ada Augusta Lovelace  ...
Read More

Digital Democracy Preface

I do not expect everyone to read, understand, agree, or enjoy every chapter in this book. The subject of cybersecurity is too extensive, while a readable text is too short. Instead, I hope to provoke a debate on the future and the urgent need for Industrial Strength Computer Science. Everyone should be concerned; damaging cyber-society by accident is one thing, but the critical flaws in the vital technology of the 21st Century are visible to one and all, and a scientific solution exists.  I attempt to attract all readers to discover something about the black art of the 21st Century. It is important to us all. There are several chapters anyone can read without any great technical skills. The last chapter, in particular, is for all to understand. The message I hope is clear. There are other more technical chapters, but I do not write them for a technical review. They are there to make a point, not to define a solution. The reader should know solutions exist while the details must be refurnished by today's experts and the latest technology. This...
Read More

Infallible Automation

The Babylonian Abacus and the Logarithmic Slide Rule led Charles Babbage to Infallible automation and flawlessly faithful computer science. Principled computers running trusted software. The Church-Turing Thesis explains the level playing field of cyberspace that solves cybercrimes and digital corruption, allowing Virtualized Democracy to flourish in the age of A.I. and Artificially Intelligent Malware.  ...
Read More

General Purpose Computer Science

I do not worship the dictatorial Gods of General-Purpose Computer Science. I am an atheist, and like Richard Dawkins25, I believe in a gene-centered view of evolution using the universal model of computation. This natural model of productive life translates to software in a Church-Turing Machine. Turing’s α-machine becomes a digital gene. A digital survival machine for the cellular organs of software in hostile cyberspace, it leads to the infallible automation pioneered by Charles Babbage as computer science without human errors. Each species of software is a private λ-calculus Namespace that evolves through a directional DNA hierarchy using the same universal model of computation that creates life from mathematics. These software machines are the individual cyber suits for the safe colonization of dangerously hostile cyberspace.  ...
Read More

Civilizing Cyberspace

Cyberspace is the new medium of life, used by criminals and enemies as well as friends and societies. This dangerous mixture hides and corrupts cyberspace harming the rapid and safe development of the nation. National survival is threatened. A new book by Ken Hamer-Hodges explores this problem and the only workable solution that protects the individual, the societies and the nations for disasters caused by uncontrolled cyber wars. ...
Read More