gedymin comments on Understanding and justifying Solomonoff induction - 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 (75)
"Higher-order" SI is just SI armed with an upgraded universal prior - one that is defined with reference to a universal hypercomputer instead of a universal Turing machine.
It's not that simple. There isn't a single model of hypercomputation, and even inside the same model hypercomputers might have different cardinal powers.