Re: Meyer's Argument against Gödel's Theorem

From: Peter_Smith <ps218@xxxxxxxxx>
Date: Sat, 16 Aug 2008 09:35:37 -0700 (PDT)

On Aug 16, 4:30 pm, LauLuna <laureanol...@xxxxxxxx> wrote:

I've argued with him that Gödel doesn't refer to expressions of an
object-language in which recursive relations would be expressed, that
Gödel is actually referring to recursive relations themselves; that
there is no meta- and object-language in the theorem but only ordinary
English (German) extended with mathematical notation

Exactly.

The essential claim here that (primitive) recursive functions can be
represented in (weak) formal arithmetics is elementarily provable (as
any modern textbook will teach Meyer).
.

Follow-Ups:
- Re: Meyer's Argument against Gödel's Theorem
  - From: LauLuna
- Re: Meyer's Argument against Gödel's Theorem
  - From: george

References:
- Meyer's Argument against Gödel's Theorem
  - From: LauLuna

Prev by Date: Meyer's Argument against Gödel's Theorem
Next by Date: Re: Godel cant tell us what makes a mathematical statement true
Previous by thread: Meyer's Argument against Gödel's Theorem
Next by thread: Re: Meyer's Argument against Gödel's Theorem
Index(es):
- Date
- Thread

Relevant Pages

=?ISO-8859-1?Q?Re=3A_Meyer=27s_Argument_against_G=F6del=27s_Theorem?=
... there is no meta- and object-language in the theorem but only ordinary ... Kegler does not restrict himself ... if the world is consistent, then there is a Liar sentence (sic; ...
(sci.logic)
=?ISO-8859-1?Q?Meyer=27s_Argument_against_G=F6del=27s_Theorem?=
... object-language in the statement of Gödel's theorem V in the 1931 ... recursive relations are expressed, so that 'x1, ..., xn' are to be ... claims that the purported confusion invalidates the theorem. ... I've argued with him that Gödel doesn't refer to expressions of an ...
(sci.logic)