You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Dagon comments on The Number Choosing Game: Against the existence of perfect theoretical rationality - Less Wrong Discussion

-1 Post author: casebash 29 January 2016 01:04AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (151)

You are viewing a single comment's thread. Show more comments above.

Comment author: Dagon 05 January 2016 03:04:14PM 1 point [-]

If it takes time, that's a cost. In your scenario, an agent can keep going forever instantly, whatever that means. That's the nonsense you need to resolve to have a coherent problem. Add in a time limit and calculation rate, and you're back to normal rationality. As the time limit or rate approach infinity, so does the utility.

Comment author: casebash 05 January 2016 11:40:57PM 0 points [-]

"Add in a time limit and calculation rate, and you're back to normal rationality" - I am intentionally modelling a theoretical construct, not reality. Claims that my situation isn't realistic aren't valid, as I have never claimed that this theoretical situation does correspond to reality. I have purposefully left this question open.

Comment author: Dagon 06 January 2016 02:18:52PM 0 points [-]

Ai-yah. That's fine, but please then be sure to caveat your conclusion with "in this non-world..." rather than generalizing about nonexistence of something.

Comment author: Decius 06 January 2016 04:37:20AM -2 points [-]

The perfectly rational agent considers all possible different world-states, determines the utility of each of them, and states "X", where X is the utility of the perfect world.

For the number "X+epsilon" to have been a legal response, the agent would have had to been mistaken about their utility function or what the possible worlds were.

Therefore X is the largest real number.

Note that this is a constructive proof, and any attempt at counterexample should attempt to prove that the specific X discovered by a perfectly rational omniscient abstract agent with a genie. If the general solution is true, it will be trivially true for one number.

Comment author: casebash 06 January 2016 05:03:12AM 1 point [-]

That's not how maths works.