Oscar_Cunningham comments on Open thread for December 17-23, 2013 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (301)
Doesn't the fact that A implies B mean that it's very easy to prove B once you've proved A?
You're right, I blundered and this example is no good.