Wow, Yudkowsky’s CEV runs into Yudkowsky’s Löb problem! That’s cute :-)
Hadn’t thought of it that way! :-)
But very cool!
Can you say what made the connection non-obvious?
What do you see as Eliezer’s main research objective?
The fact I had come up with this idea well before hearing of Loeb’s theorem.
Wow, Yudkowsky’s CEV runs into Yudkowsky’s Löb problem! That’s cute :-)
Hadn’t thought of it that way! :-)
But very cool!
Can you say what made the connection non-obvious?
What do you see as Eliezer’s main research objective?
The fact I had come up with this idea well before hearing of Loeb’s theorem.