According to the SchoIarpedia article, it’s not required that the probabilities add up to 1:
∑x m(x) < 1
It’s simpler to defined the Universal Prior in the way that not-halting programs are “not counted”. So the sum is not over all program, just the halting ones.
According to the SchoIarpedia article, it’s not required that the probabilities add up to 1:
∑x m(x) < 1
It’s simpler to defined the Universal Prior in the way that not-halting programs are “not counted”. So the sum is not over all program, just the halting ones.