Jim Choate wrote: > > On Wed, 4 Dec 2002, Ken Hirsch wrote: > >> Jim Choate says: >> >>> Godel's does -not- say mathematics is incomplete, it says we can't prove >>> completeness -within- mathematics proper. To do so requires a >>> meta-mathematics of some sort. >> >> You are mixing up what Godel says about proving consistency within a system, >> and his incompleteness theorem. Godel most certainly DOES prove that >> mathematics is incomplete. > > No Ken, he says you can't prove it. That it is unknowable.
No he didn't. He proved Mathematics is incomplete, ie that there are universally valid but unprovable statements within it. He proved that any system that contains Peano arithmetic (roughly, a concept of the natural numbers) is incomplete. Mathematics certainly contains Peano arithmetic. Go and lie down. Your brain is feverish. And stop posting nonsense. -- Peter Fairbrother
