Prof. S. Jaki
A late awakening with a nightmare
According to Godel's
theorem, formulated in 1930, no non-trivial theory of
arithmetic can have its proof of consistency in terms of the
of the theory itself. This means that it is not possible to form a final
form of mathematics that would be its sole form which is also
true. Since physics has to be heavily mathemetical, this also means the
of hopes that a final physical theory could ever be formulated.
a recent claim of Prof Hawking, this does not mean of the end of
though it constitutes a death blow at those hopes, often proposed with
arrogance. Godel's theorem is an assurance that the work of physicists
go on to no end.