- New type of PROLOG
- Knowledge Representation
- No Halting Problem
- New type of Arithmetic
- Chaos and Luminiferous Aether,
- Logical Atomism and Set theory
- No Quantum paradox
- No God Particle
INNOVATIVE IDEAS
We say of any theory ‘be a prophet for us’
Pierre Duhem, ‘The Aim and Structure of Physical Theory’, 1906
Andrew Hennessey’s AI Architecture