cousin_it comments on What are you working on? April 2011 - Less Wrong

5 Post author: jsalvatier 07 April 2011 05:56PM

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

Comments (62)

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

Comment author: cousin_it 08 April 2011 12:04:05PM *  1 point [-]

The inner iff should be testing a counterfactual, not equality.

If so, how do you define the truth value of that counterfactual?