Re: Meyer's Argument against Gödel's Theorem
 From: Nam Nguyen <namducnguyen@xxxxxxx>
 Date: Wed, 27 Aug 2008 03:19:50 GMT
LauLuna wrote:
On Aug 24, 6:18 am, jeffreykeg...@xxxxxxxxx wrote:
Note that "metamathematical" here means "appealing to notions of
truth outside of the formalism". Some schools of philosophy of
mathematics have claimed there is no such thing as informal
mathematical truth. Gödel disagreed, though here he's not coming out
and saying so directly.
Consider that the metamath of a particular system can be formalized
in another system.
The metamath of which could be formalized yet in another system,
the metamath of which could be formalized yet in another system,
....
to infinity. It seems to be the case.
Nevertheless, it's true that Gödel believed human
reason can eventually prove any mathematical truth, a feat no correct
formal system can achieve.
How could a finite mortal being as human "prove _any_ mathematical truth"?
For example, could a human being prove the truth of GC, or of cGC, or the
truth of there's neither?

"To discover the proper approach to mathematical logic,
we must therefore examine the methods of the mathematician."
(Shoenfield, "Mathematical Logic")
.
 References:
 Meyer's Argument against Gödel's Theorem
 From: LauLuna
 Re: Meyer's Argument against Gödel's Theorem
 From: Peter_Smith
 Re: Meyer's Argument against Gödel's Theorem
 From: LauLuna
 Re: Meyer's Argument against Gödel's Theorem
 From: jeffreykegler
 Re: Meyer's Argument against Gödel's Theorem
 From: MoeBlee
 Re: Meyer's Argument against Gödel's Theorem
 From: herbzet
 Re: Meyer's Argument against Gödel's Theorem
 From: Aatu Koskensilta
 Re: Meyer's Argument against Gödel's Theorem
 From: herbzet
 Re: Meyer's Argument against Gödel's Theorem
 From: Peter_Smith
 Re: Meyer's Argument against Gödel's Theorem
 From: jeffreykegler
 Meyer's Argument against Gödel's Theorem
 Prev by Date: Re: Looking for Undecidable Propositions in Systems without a certainamountofarthimetic.
 Next by Date: Re: Interpretation problem
 Previous by thread: Re: Meyer's Argument against Gödel's Theorem
 Next by thread: Re: Meyer's Argument against Gödel's Theorem
 Index(es):
Relevant Pages
