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: 
354 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! (24 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 (...) (24 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
    

Custom Search

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