Vladimir_Nesov comments on Formalizing reflective inconsistency - Less Wrong

3 Post author: Johnicholas 13 September 2009 04:23AM

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

Comments (13)

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

Comment author: Vladimir_Nesov 13 September 2009 09:36:16PM 0 points [-]

The two instances should agree on the solution, whatever it is.