Shop

Nml, Likely a Revolutionary New Form of Software Development

eBook (ePub)
This item has not been rated yet
Price: $2.99
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... More > programming.< Less
Available in ePub Format

Ratings & Reviews

Log in to review this item
Lulu Sales Rank: 186316
There are no reviews for the current version of this product
Refreshing...
There are no reviews for previous versions of this product
Refreshing...

Product Details

ISBN
9781300954651
Edition
First Edition
Published
April 21, 2013
Language
English
File Format
ePub
File Size
46.42 KB

Formats for this Ebook

ePub
Required Software Any ePub Reader
Supported Devices Windows PC/PocketPC, Mac OS, Linux OS, Apple iPhone/iPod Touch... (See More)
# of Devices Unlimited
Flowing Text / Pages Flowing Text
Printable? Yes
Report This Content to Lulu >

Moderation of Questionable Content

Thank you for your interest in helping us moderate questionable content on Lulu. If you need assistance with an order or the publishing process, please contact our support team directly.

How does this content violate the Lulu Membership Agreement?

Keywords

Listed In

More From R. A. Elschlager