In order to allow the machine to think in its own way, I designed this universal machine language. This language is not just a programming language, but also a calculus language as conceived by Leibniz. The calculus of language is the thinking process of machines. This language is very small, only 11 operators, but it is very complex and powerful. It can understand its own structure and operation, and use this as a starting point to define mathematical concepts and derive basic mathematical laws. In order to be able to perform calculations, first establish a logical system based on the principle of equivalence, and then construct a propositional system based on selected operators. All propositional properties can thus be deduced. Contradiction is clearly defined by which compatibility can be demonstrated. The paradox can also be clearly defined, It can be shown that a paradox cannot lead to a contradiction. Except for the introduction of the first chapter, the book is written in universal language. If you like proofs, you will really enjoy this book because it consists of explicit proofs. Proof is also a thought process.
ThriftBooks sells millions of used books at the lowest
everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We
deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15.
ThriftBooks.com. Read more. Spend less.