Eliezer: Could you maybe clarify a bit the difference between Kolmogrov Complexity and MML? The first is “shortest computer program that outputs the result” and the second one is.… “shortest info that can be used to figure out the result”? ie, I’m not quite sure I understand the difference here.
However, as to the two being equivalent, I thought I’d seen something about the second one being used because the first was sometimes uncomputable, in the “to solve it in the general case, you’d have to have a halting oracle” sense.
Caledonian: Math isn’t so much a language as various notations for math are a language. Basically, if you use “non math” to express exactly the same thing as math, you basically have to turn up the precision and “legaleese” to the point that you practially are describing math, just using a language not meant for it, right?
Eliezer: Could you maybe clarify a bit the difference between Kolmogrov Complexity and MML? The first is “shortest computer program that outputs the result” and the second one is.… “shortest info that can be used to figure out the result”? ie, I’m not quite sure I understand the difference here.
However, as to the two being equivalent, I thought I’d seen something about the second one being used because the first was sometimes uncomputable, in the “to solve it in the general case, you’d have to have a halting oracle” sense.
Caledonian: Math isn’t so much a language as various notations for math are a language. Basically, if you use “non math” to express exactly the same thing as math, you basically have to turn up the precision and “legaleese” to the point that you practially are describing math, just using a language not meant for it, right?