| | Re: Figure This One Out... Kinda Neat Dave Schuler
|
| | (...) 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)
|
| | |
| | | | Re: Figure This One Out... Kinda Neat Larry Pieniazek
|
| | | | (...) I agree. c.f. Goedel. This statement has the truth value "undecidable" (24 years ago, 22-Nov-00, to lugnet.off-topic.geek)
|
| | | | |
| | | | | | Re: Figure This One Out... Kinda Neat Dave Schuler
|
| | | | (...) I'm sorry, but my knowledge of Goedel is incomplete. Dave! (24 years ago, 22-Nov-00, to lugnet.off-topic.geek)
|
| | | | |
| | | | | | Re: Figure This One Out... Kinda Neat Andrew Lipson
|
| | | | | (...) Mine is inconsistent. Andrew (24 years ago, 22-Nov-00, to lugnet.off-topic.geek)
|
| | | | | |
| | | | | | Re: Figure This One Out... Kinda Neat Larry Pieniazek
|
| | | | (...) I wasn't able to predict you'd say that, given the premises available to me in this frame of reference! ++Lar (24 years ago, 24-Nov-00, to lugnet.off-topic.geek)
|
| | | | |