Vladimir_Nesov comments on Open Thread June 2010, Part 4 - Less Wrong

5 Post author: Will_Newsome 19 June 2010 04:34AM

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

Comments (325)

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

Comment author: Vladimir_Nesov 22 June 2010 10:52:40AM 0 points [-]

Yes, using a formal world simplifies this a lot.