“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.
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.
“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.
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.