To LUGNET HomepageTo LUGNET News HomepageTo LUGNET Guide Homepage
 Help on Searching
 
Post new message to lugnet.off-topic.geekOpen lugnet.off-topic.geek in your NNTP NewsreaderTo LUGNET News Traffic PageSign In (Members)
 Off-Topic / Geek / 2391
2390  |  2392
Subject: 
Re: Figure This One Out... Kinda Neat
Newsgroups: 
lugnet.off-topic.geek
Date: 
Wed, 22 Nov 2000 14:50:59 GMT
Viewed: 
1893 times
  
In lugnet.off-topic.geek, Dave Schuler writes:
> In lugnet.off-topic.geek, David Martineau writes:
> 
> > > > 1. substitute are for is
> > > > 2. errors is misspelled.
> > > > 2. there are only two errors in the sentence.
> 
> > Yes you are... But I was hoping to start a discussion on whether or not the
> > third error is untrue.
> 
>  This is a restating of the "Liar Paradox" a la "Everything I say is a
> lie."  If I recall my Logic course correctly, a statement of that sort has
> no distinct truth value one way or the other, in that (in context) it cannot
> be definably true or definably false.  Can anyone else confirm this?

I agree. c.f. Goedel.

This statement has the truth value "undecidable"



Message has 1 Reply:
  Re: Figure This One Out... Kinda Neat
 
(...) I'm sorry, but my knowledge of Goedel is incomplete. Dave! (26 years ago, 22-Nov-00, to lugnet.off-topic.geek)

Message is in Reply To:
  Re: Figure This One Out... Kinda Neat
 
(...) This is a restating of the "Liar Paradox" a la "Everything I say is a lie." If I recall my Logic course correctly, a statement of that sort has no distinct truth value one way or the other, in that (in context) it cannot be definably true or (...) (26 years ago, 22-Nov-00, to lugnet.off-topic.geek)

19 Messages in This Thread:





Entire Thread on One Page:
Nested:  All | Brief | Compact | Dots
Linear:  All | Brief | Compact

This Message and its Replies on One Page:
Nested:  All | Brief | Compact | Dots
Linear:  All | Brief | Compact
    

©2005 LUGNET. All rights reserved. - hosted by steinbruch.info GbR