Nml, Likely a Revolutionary New Form of Software Development

This short ebook, of about 15,000 words, presents defining ideas of nml, which I am still developing. If doable, nml would be a revolutionary new form of software development, software which even before it was ever tested or run, was mathematically proven to be correct, no matter its size or the meanings you decide to put in the word “correct.” How can such claims be made about meaning in general? It comes out of an amazing confluence of computers and mathematical logic, discovered in my previous book, “Consciousness and Marbles,” (predicate calculus, predcal). The author had spent several decades writing software, analyzing it, doing requirements analysis, and testing, from small to very large systems, and before that, got a Masters degree and doctoral work at UC Berkeley, in mathematics, mathematical logic and complexity theory, and a little later, a Masters degree and doctoral work at Stanford University in computers, artificial intelligence, and automatic programming.