Re: Does anybody believe in Physics?
Godel's actual proof of that must have been a feat though.
He proved that you can not axiomize arithmetic.
The proof was contructive in that he made a system to contruct an example of an arithmetic truth given the axioms but one that is not a consequence of the axioms.
Some of the conjectures about what can and can't be proven and what people and machines can and can't do, based on his proof, are not too solid.
D.
|