"Theory of Everything based on Feynman-Weinberg Quantum Gravity and the Extended Standard Model", (original title; published title is "The Structure of the World from Pure Numbers), published in Reports on Progress in Physics, volume 68 (2005), pages 897-964.
***The above article outlines the physics on which The Physics of Christianity is based.***

On the other hand, the G¨odel theorems do not prove that no proof of consistency of Peano
Arithmetic is possible. The theorems merely show that a valid proof cannot be mapped into
arithmetic in which sentences must be of finite length. It might be the case, for example,
that a valid proof of consistency can be obtained if we allow proof of infinite length. To this
possibility we now turn.

A computer cannot mechanically go through
the series of steps, but a human can ‘see’ the validity of the steps, provided the human
accepts the necessary generalization of logic.