Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: Godel Incompleteness Theorem
Replies: 172   Last Post: May 2, 2013 2:49 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
contact080501@jamesrmeyer.com

Posts: 26
Registered: 8/18/08
Re: Godel Incompleteness Theorem
Posted: Aug 21, 2008 6:40 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Aug 20, 9:30 pm, MoeBlee <jazzm...@hotmail.com> wrote:
> On Aug 20, 1:22 am, contact080...@jamesrmeyer.com wrote:
>

> >For years and
> > years, there have been numerous texts, books, etc on Gödel?s proof,
> > and it has been hailed as a masterpiece of logic ? without any need
> > for any additional theoretical assumptions such as might be required
> > by theories such as ?two-sorted? language.

>
> And we don't need to use the rubric 'two-sorted langugae', but Godel
> does IN FACT specify that a certain kind of variable ranges over a
> certain kind of object and another certain kind of variable ranges
> over another kind of object, etc. Whether or not Godel himself would
> call that a 'multi-sorted' (meta)-language, the fact is that what he
> sets up in the paper is a multi-sorted metalangauge.
>

> > So isn?t it strange that once I point out a flaw that applies to
> > Gödel?s proof, and which applies to those texts that have filled in
> > Gödel?s ?omissions?, that Gödel?s proof suddenly needs propping up
> > with new notions that Gödel did not intimate, and which haven?t been
> > perceived to have been necessary for over half a century?

>
> No, whether or not called 'multi-sorted' (actually more sorts than
> just two), Godel mentions EXPLICITLY in his paper that he's using (in
> what we call his 'meta-language') different kinds of variables for
> different kinds of objects.
>
> MoeBlee


We have varaibles that range over numbers, and varaibles that range
over symbol combinations of the formal system. You can call that "two-
sorted" if you like. So waht? While there has been mention of "two
sorts" of varaibles, nobody has given any indication of how that
overcomes the problems that I have shown that arise in Godel's proof.


Date Subject Author
7/21/08
Read Godel Incompleteness Theorem
thirdmerlin@hotmail.com
7/21/08
Read Re: Godel Incompleteness Theorem
Jesse F. Hughes
7/21/08
Read Re: Godel Incompleteness Theorem
G.E. Ivey
7/21/08
Read Re: Godel Incompleteness Theorem
Gerry Myerson
7/21/08
Read Re: Godel Incompleteness Theorem
Jesse F. Hughes
7/22/08
Read Re: Godel Incompleteness Theorem
Gc
7/22/08
Read Re: Godel Incompleteness Theorem
Paul Epstein
7/29/08
Read Re: Godel Incompleteness Theorem
thirdmerlin@hotmail.com
7/29/08
Read Re: Godel Incompleteness Theorem
Gerry Myerson
8/4/08
Read Re: Godel Incompleteness Theorem
Aatu Koskensilta
7/29/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/2/08
Read Re: Godel Incompleteness Theorem
thirdmerlin@hotmail.com
8/2/08
Read Re: Godel Incompleteness Theorem
thirdmerlin@hotmail.com
8/3/08
Read Re: Godel Incompleteness Theorem
Gerry Myerson
8/8/08
Read Re: Godel Incompleteness Theorem
thirdmerlin@hotmail.com
8/8/08
Read Re: Godel Incompleteness Theorem
Joshua Cranmer
8/9/08
Read Re: Godel Incompleteness Theorem
Aatu Koskensilta
8/9/08
Read Re: Godel Incompleteness Theorem
Joshua Cranmer
8/10/08
Read Re: Godel Incompleteness Theorem
Gerry Myerson
8/4/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/8/08
Read Re: Godel Incompleteness Theorem
thirdmerlin@hotmail.com
8/8/08
Read Re: Godel Incompleteness Theorem
Joshua Cranmer
8/9/08
Read Re: Godel Incompleteness Theorem
Aatu Koskensilta
8/12/08
Read Re: Godel Incompleteness Theorem
thirdmerlin@hotmail.com
8/12/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/18/08
Read Re: Godel Incompleteness Theorem
David R Tribble
8/19/08
Read Re: Godel Incompleteness Theorem
Jose Carlos Santos
8/19/08
Read Re: Godel Incompleteness Theorem
Gc
8/19/08
Read Re: Godel Incompleteness Theorem
Jose Carlos Santos
8/21/08
Read Re: Godel Incompleteness Theorem
Aatu Koskensilta
8/21/08
Read Re: Godel Incompleteness Theorem
Jose Carlos Santos
8/21/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/21/08
Read Re: Godel Incompleteness Theorem
Aatu Koskensilta
8/21/08
Read Re: Godel Incompleteness Theorem
Jack Markan
7/29/08
Read Re: Godel Incompleteness Theorem
thirdmerlin@hotmail.com
7/29/08
Read Re: Godel Incompleteness Theorem
thirdmerlin@hotmail.com
7/29/08
Read Re: Godel Incompleteness Theorem
thirdmerlin@hotmail.com
8/2/08
Read Re: Godel Incompleteness Theorem
Gc
8/3/08
Read Re: Godel Incompleteness Theorem
thirdmerlin@hotmail.com
8/3/08
Read Re: Godel Incompleteness Theorem
David Formosa (aka ? the Platypus)
8/12/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/3/08
Read Re: Godel Incompleteness Theorem
Gc
8/4/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/8/08
Read Re: Godel Incompleteness Theorem
thirdmerlin@hotmail.com
8/8/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/15/08
Read Re: Godel Incompleteness Theorem
thirdmerlin@hotmail.com
8/15/08
Read Re: Godel Incompleteness Theorem
Joshua Cranmer
8/15/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/18/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/18/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/18/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/19/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/19/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/19/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/20/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
5/2/13
Read Re: Godel Incompleteness Theorem
b9704084@hotmail.com
8/20/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/20/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/20/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/20/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/21/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/21/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/21/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/20/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/20/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/21/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/21/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/21/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/20/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/20/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/21/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/21/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/19/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/19/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/19/08
Read Re: Godel Incompleteness Theorem
Jesse F. Hughes
8/20/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/20/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/20/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/20/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/21/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/21/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/22/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/22/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/28/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/29/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/18/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/18/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/19/08
Read Re: Godel Incompleteness Theorem
Herman Jurjus
8/19/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/19/08
Read Re: Godel Incompleteness Theorem
Herman Jurjus
8/18/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/18/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/18/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/19/08
Read Re: Godel Incompleteness Theorem
LauLuna
8/19/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/19/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/19/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/19/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/19/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/19/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/20/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/20/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/20/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/20/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/21/08
Read Re: Godel Incompleteness Theorem
Aatu Koskensilta
8/21/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/21/08
Read Re: Godel Incompleteness Theorem
Aatu Koskensilta
8/21/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/19/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/19/08
Read Re: Godel Incompleteness Theorem
Mike Kelly
8/19/08
Read Re: Godel Incompleteness Theorem
LauLuna
8/19/08
Read Re: Godel Incompleteness Theorem
LauLuna
8/19/08
Read Re: Godel Incompleteness Theorem
LauLuna
8/19/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/19/08
Read Re: Godel Incompleteness Theorem
Gc
8/19/08
Read Re: Godel Incompleteness Theorem
puppet_sock@hotmail.com
8/28/08
Read Re: Godel Incompleteness Theorem
Jack Markan
8/29/08
Read Re: Godel Incompleteness Theorem
Zim Olson
8/29/08
Read Re: Godel Incompleteness Theorem
Zim Olson
8/30/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
8/30/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
9/1/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
9/2/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
9/5/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
9/5/08
Read Re: Godel Incompleteness Theorem
Jesse F. Hughes
9/5/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
9/7/08
Read Re: Godel Incompleteness Theorem
tchow@lsa.umich.edu
8/30/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
9/4/08
Read Re: Godel Incompleteness Theorem
Jack Markan
9/5/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
9/5/08
Read Re: Godel Incompleteness Theorem
Jack Markan
9/7/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
9/7/08
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
9/8/08
Read Re: Godel Incompleteness Theorem
Jack Markan
9/8/08
Read Re: Godel Incompleteness Theorem
Jack Markan
2/27/09
Read Re: Godel Incompleteness Theorem
contact080501@jamesrmeyer.com
2/27/09
Read Re: Godel Incompleteness Theorem
A N Niel
3/17/09
Read Re: Godel Incompleteness Theorem
Jack Markan
3/17/09
Read Re: Godel Incompleteness Theorem
Jack Markan
3/17/09
Read Re: Godel Incompleteness Theorem
Jesse F. Hughes
3/23/09
Read Re: Godel Incompleteness Theorem
barr barrett
3/23/09
Read Re: Godel Incompleteness Theorem
Aatu Koskensilta
3/24/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/24/09
Read Re: Godel Incompleteness Theorem
Aatu Koskensilta
3/24/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/25/09
Read Re: Godel Incompleteness Theorem
Aatu Koskensilta
3/25/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/25/09
Read Re: Godel Incompleteness Theorem
Jack Markan
3/25/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/25/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/25/09
Read Re: Godel Incompleteness Theorem
Jack Markan
3/25/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/26/09
Read Re: Godel Incompleteness Theorem
Jack Markan
3/26/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/26/09
Read Re: Godel Incompleteness Theorem
Jack Markan
3/27/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/27/09
Read Re: Godel Incompleteness Theorem
Jack Markan
3/27/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/27/09
Read Re: Godel Incompleteness Theorem
Jack Markan
3/28/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/30/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/30/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/31/09
Read Re: Godel Incompleteness Theorem
Jack Markan
3/31/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/31/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/31/09
Read Re: Godel Incompleteness Theorem
Jack Markan
3/31/09
Read Re: Godel Incompleteness Theorem
Jack Markan
3/31/09
Read Re: Godel Incompleteness Theorem
Jack Markan
3/31/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/31/09
Read Re: Godel Incompleteness Theorem
barry barrett
3/31/09
Read Re: Godel Incompleteness Theorem
Jack Markan
4/1/09
Read Re: Godel Incompleteness Theorem
barry barrett
4/1/09
Read Re: Godel Incompleteness Theorem
barry barrett

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.