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

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 ]
Jack Markan

Posts: 6,964
Registered: 2/26/05
Re: Godel Incompleteness Theorem
Posted: Aug 21, 2008 12:32 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Aug 21, 9:23 am, aatu.koskensi...@xortec.fi wrote:
> MoeBlee wrote:
> > Would you say something about the distinction between finitistically
> > meaningful and finitistically justified?

>
> A statement is finitistically meaningful if we can formulate it in
> terms of particular finite structures, and parameters naming arbitrary
> finite structures, without involving quantification over an infinite
> totality. Formally this corresponds to the class of Pi-1 sentences in
> the language of arithmetic, or, more perspicuously, to quantifier-free
> formulas in the language of primitive recursive arithmetic. Some such
> claims are finitistically justified in the sense that on basis of our
> understanding of finitary inductively defined classes of objects, such
> as the naturals, we can offer compelling arguments for them, using
> nothing but principles that are immediately evident on basis of the
> finitary inductive definitions involved. Some on the other hand are
> meaningful, in the sense that we can make finitistic sense of them,
> but no finitistic compelling argument exists for them. An example of
> such a finitistically meaningful but finitistically unjustified
> statement would be "ZFC + 'there is a proper class of Woodin
> cardinals' is consistent".


I follow the gist of that. Thanks.

MoeBlee



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.