“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.
“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.