TobyBartels comments on The Cartoon Guide to Löb's Theorem - Less Wrong

12 Post author: Eliezer_Yudkowsky 17 August 2008 08:35PM

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

Comments (90)

Sort By: Old

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

Comment author: dlthomas 29 September 2011 04:51:22PM -1 points [-]

(X->Y)->X and (X->Y)->Y have the same truth table.

Comment author: TobyBartels 03 October 2011 03:23:57AM 2 points [-]

Not when X is false and Y is true.

Comment author: dlthomas 03 October 2011 04:29:45PM 3 points [-]

My bad :-\