timtyler comments on Metaphilosophical Mysteries - Less Wrong

35 Post author: Wei_Dai 27 July 2010 12:55AM

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

Comments (255)

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

Comment author: timtyler 31 July 2010 10:13:47PM -1 points [-]

BB(100) is computable - and BB(2^100) is computable too :-(