Kawoomba comments on Torture vs. Dust Specks - Less Wrong

39 Post author: Eliezer_Yudkowsky 30 October 2007 02:50AM

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

Comments (596)

Sort By: Old

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

Comment author: Kawoomba 03 August 2012 07:16:35PM 5 points [-]

If you still use "^" to refer to Knuth's up-arrow notation, then 3^^^3 != 3^(3^^26).

3^^^3 = 3^^(3^^3) = 3^^(3^27) != 3^(3^^27)

Comment author: Eliezer_Yudkowsky 02 May 2013 04:08:53AM 1 point [-]

Fixed.