Thanks, that makes sense! And to be clear, would an ‘explanation’ be a program which could generate the data 3,1,4,1,5,9? And a good explanation would be one which took up fewer bits of information than just the list 3,1,4,1,5,9?
Yes! In fact, ideally it would be computer programs; the game is based on Solomonoff induction, which is algorithms in a fixed programming language. In this post I’m exploring the idea of using informal human language instead of programming languages, but explanations should be thought of as informal programs.
Thanks, that makes sense! And to be clear, would an ‘explanation’ be a program which could generate the data 3,1,4,1,5,9? And a good explanation would be one which took up fewer bits of information than just the list 3,1,4,1,5,9?
Yes! In fact, ideally it would be computer programs; the game is based on Solomonoff induction, which is algorithms in a fixed programming language. In this post I’m exploring the idea of using informal human language instead of programming languages, but explanations should be thought of as informal programs.
I see, thanks for taking the time to explain!