zlacker

>>tromp+(OP)
The intro got me thinking of MDL model selection. I.e. to express X you can choose a language L that can represent X, and rather than focusing on the conciseness of just L(X) (which for some powerful L might be a single bit) it's more fair to also take the length of the language itself into account.

Then this question would be rephrased as something along the lines of "what language would fit into 64 bits and leave enough enough bits to describe a huge value in that language? And which would represent the largest value?"

https://en.wikipedia.org/wiki/Minimum_description_length

>>pipo23+Tz
That just begs the question: in what language do you describe the language L? In terms of features, the language I use was, together with combinatory logic, the first language ever proposed for formalising computation back in the 1930s, so it's about as non-arbitrary as can be...

>>tromp+AA
Very good point!