Vaniver comments on Reflection in Probabilistic Logic - Less Wrong

63 Post author: Eliezer_Yudkowsky 24 March 2013 04:37PM

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

Comments (171)

Sort By: Best

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

Comment author: Vaniver 31 March 2013 07:02:12PM 2 points [-]

Is there an internal benefit to something being provable besides it being true?

Comment author: Decius 31 March 2013 07:43:50PM -2 points [-]

It's a lot easier to tell if something is provable than if it is true.