Damien Broderick wrote:
>
> At 11:59 PM 1/01/01 -0500, Eliezer wrote:
>
> >Damien, I cannot make out *what* the heck you are talking about. And
> >consider the source.
>
> I'm terribly, terribly tempted to reply: The riddle is a meta-riddle. It's
> not actually a riddle. The riddle is its
> own solution.
Think of it as a Typeless Riddle, if you prefer. Or if you're too strict
a set-theoretician, consider it to be a Godelian Riddle, or rather, half
of a Godelian Riddle. If you're really, really strict, you can consider
the complete riddle-and-answer pair to be a Henkin Riddle. Neither Godel
nor Henkin statements are paradoxical, nor, strictly speaking,
self-referential; both Godel and Henkin statements are accepted parts of
mathematics and are, in fact, always true, so I really fail to see your
objection here...
-- -- -- -- --
Eliezer S. Yudkowsky http://singinst.org/
Research Fellow, Singularity Institute for Artificial Intelligence
This archive was generated by hypermail 2b30 : Mon May 28 2001 - 09:56:16 MDT