Kindly comments on Logical Pinpointing - Less Wrong

62 Post author: Eliezer_Yudkowsky 02 November 2012 03:33PM

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

Comments (338)

Sort By: Best

Show:

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

Comment author: Kindly 02 November 2012 02:31:47PM 16 points [-]

Shorter (but not necessarily more legible): ∀x∀y∀z: (R(x, 0, z)↔(x=z)) ∧ (R(x, Sy, z)↔R(Sx, y, z)).

Comment author: Eliezer_Yudkowsky 03 November 2012 05:32:04PM 8 points [-]

Done!

Comment author: Viliam_Bur 02 November 2012 03:40:52PM 3 points [-]

Perfect!