In Reply to: Re: I disagree with Roger Sanders' claim posted by robertopisa on January 5, 2007 at 13:38:26:
HowdyRe: "Although Goedel has proved that any formal system, such that underlying any scientific area, contains facts that cannot be proved to be false or true using the system itself; so science itself has a limitation in proving facts."
Note however that the unprovable facts that he referred to are mathematical facts not, in general, scientific facts. I.e. he "only" showed that if a system can do a certain amount of arithmetic there are arithmetic statements which can't be shown true or false in that system. It's also worth noting that this doesn't say that we can't decide or prove the truth or falseness about those statements with other systems.
-Ted
This post is made possible by the generous support of people like you and our sponsors:
Follow Ups
- Re Gödel - Ted Smith 14:23:01 01/05/07 (6)
- Theorems and Axioms - lipmanl@hotmail.com 07:19:10 01/08/07 (0)
- formal system - tunenut 10:14:09 01/06/07 (0)
- Re: Re Gödel - robertopisa 14:49:52 01/05/07 (3)
- Re: Re Gödel - Ted Smith 15:02:52 01/05/07 (2)
- Re: Re Gödel - robertopisa 15:26:42 01/05/07 (1)
- There are worse things than nerds :) [nt] - Ted Smith 15:30:22 01/05/07 (0)