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.

Vladimir_Nesov comments on Rational vs. real utilities in the cousin_it-Nesov model of UDT - Less Wrong Discussion

6 Post author: Karl 29 January 2012 04:43AM

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

Article Navigation

Comments (8)

Comments (8)

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

Comment author: Vladimir_Nesov 29 January 2012 07:54:51PM 0 points [-]

It's a well known fact that it is possible to enumerate all the provable statements in a given formal system without skipping any.

You're right, there is no problem here, as long as you enumerate everything.

Powered by Reddit Powered by Reddit