Tom_McCabe2 comments on Searching for Bayes-Structure - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (44)
"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.