AlanCrowe comments on What are you working on? February 2012 - Less Wrong

7 Post author: David_Gerard 05 February 2012 12:33PM

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

Comments (90)

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

Comment author: AlanCrowe 06 February 2012 12:19:56AM 0 points [-]

The Primitive Recursive Functions appear quite attractive as a subset of all computable functions. They always terminate, so one can use an enumeration to get a computable upper bound on Kolmogorov complexity. They look like they are rich enough that the upper bound could be low enough to be interesting.