The Way of Machine Thinking: Volume 1: Rules of Universal Language and Fundamental Math

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. Read more