| | 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)
|
| | | | |