William_Tanksley comments on The Dilemma: Science or Bayes? - Less Wrong

19 Post author: Eliezer_Yudkowsky 13 May 2008 08:16AM

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

Comments (185)

Sort By: Old

You are viewing a single comment's thread.

Comment author: William_Tanksley 13 May 2008 06:34:31PM 1 point [-]

"Computer programs in which language? The kolmogorov complexity of a given string depends on the choice of description language (or programming language, or UTM) used."

They only depend to within a constant factor. That's not the problem; the REAL problem is that K-complexity is uncomputable, meaning that you cannot in any way prove that the program you're proposing is, or is NOT, the shortest possible program to express the law.

Comment author: zslastman 27 June 2012 06:28:31PM 0 points [-]

Well you can obviously prove that it isn't the shortest program by stating a another, shorter program, but I suppose you mean that there is no shortcut to this shorter one.