Postulate+ FAST= Speed Prior S

• Write for “p computes in phase i of universal search something starting with x; no prefix of p does.”

• Define

• S(x) is semimeasure

• Expensive x less probable (just like on your PC)

Previous slide

Next slide

Back to first slide

View graphic version