Never mind hackers of whatever age or intent, catastrophes will continually affect the Internet — and increasingly, too — as hard cosmic radiation from space and nuclear radiation from underground rock destroy transistors in silicon chips. As the use of robots rises so will be the need for repeated software editing by experienced software writers — a tedious job indeed — to restore the original coding and performance.
To make sure that this as fool-proof as possible it’s been proposed that modules containing suspected errors can be temporarily removed from the ‘mother’ program and then translated into ordinary language. Formal syllogistic logic can then be applied. If no faults are found then the module can be replaced and the next suspected area attempted.
Software of highly complex subjects are going to be particularly difficult to inspect on an ad hoc basis. In the years to come, it will pay research scientists to translate everything they do and describe in their normal ordinary language into digital language also. Once complete fluency is gained then the inevitable error checking can be done so much more rapidly