“yes, you can express anything in Bayesian terms. You can express anything in C, too”
A Turing-equivalent programming language (eg, lambda calculus) provides very little useful information about the universe, because you can use it to produce almost anything. It’s very simple to write a C program that spits out 2 + 2 = 5, or any other incorrect statement you want. You can’t do this with Bayesian logic- you can’t juggle the math around and get a program written in Bayes-language that assigns a 1% probability to the Sun rising.
“this doesn’t mean the universe is a program,”
The laws of physics the universe runs on are provably Turing-equivalent.
“yes, you can express anything in Bayesian terms. You can express anything in C, too”
A Turing-equivalent programming language (eg, lambda calculus) provides very little useful information about the universe, because you can use it to produce almost anything. It’s very simple to write a C program that spits out 2 + 2 = 5, or any other incorrect statement you want. You can’t do this with Bayesian logic- you can’t juggle the math around and get a program written in Bayes-language that assigns a 1% probability to the Sun rising.
“this doesn’t mean the universe is a program,”
The laws of physics the universe runs on are provably Turing-equivalent.