According to Godel's
theorem, formulated in 1930, no non-trivial theory of

arithmetic can have its proof of consistency in terms of the presuppositions

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 necessarily

true. Since physics has to be heavily mathemetical, this also means the end

of hopes that a final physical theory could ever be formulated. Contrary to

a recent claim of Prof Hawking, this does not mean of the end of physics,

though it constitutes a death blow at those hopes, often proposed with great

arrogance. Godel's theorem is an assurance that the work of physicists will

go on to no end.

arithmetic can have its proof of consistency in terms of the presuppositions

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 necessarily

true. Since physics has to be heavily mathemetical, this also means the end

of hopes that a final physical theory could ever be formulated. Contrary to

a recent claim of Prof Hawking, this does not mean of the end of physics,

though it constitutes a death blow at those hopes, often proposed with great

arrogance. Godel's theorem is an assurance that the work of physicists will

go on to no end.