Book Description
Description of OLD Edition (this web page): This breakthrough book establishes deep connections between elementary particle theories such as the Standard Model and Superstring theories, and computer languages such as Assembly language, C, and C++ suitably extended. It also proves, for the first time, that the universe must be quantum in nature based on Godel’s celebrated theorem (that there are statements in any non-trivial mathematical deductive system that cannot be proved or disproved.) Therefore all attempts at building a deterministic fundamental theory of physics (such as Bohm’s theory) are unacceptable.
Some of the New Results described in this book are:
It proves that Gödel’s Theorem implies that the ultimate theory of Nature must be a quantum theory. It cannot be deterministic. This proof may be regarded as the first result of a meta-physics that describes the nature and limitations of physical theories just as metamathematics describes the nature and limitations of mathematical deductive systems.
The definition of quantum and classical probabilistic, non-deterministic Chomsky-like grammars. There appear to be two general types of probabilistic, non-deterministic grammars.
A map between Quantum Grammars and the elementary particle Standard Model. Particles form the alphabet; Lagrangian interaction terms define quantum probabilistic production rules.
A map between Quantum Computers and Superstring Theories. Inductively deduces a SuperString formalism from a polycephalic Quantum Computer formalism with the processor and memory forming the Fermion sector and the tape heads forming the boson sector.
A map between Gödel numbers and the "space" of elementary particle Lagrangians is developed.
A quantum computer formulation of Assembly language and the C language capable of extension to other computer languages such as C++, Java and Pascal.
A suggestion that quark confinement might be the result of quarks being non-terminal symbols in quantum Turing Machine implementations of elementary particle theories.
