Halting problem

• supponimano che esista halt(program)

paradox(char *program) {

if (halt(program))

then { while (true) ; }

}

• Se halt(paradox) = true alloraparadox(paradox) non terminae viceversa

Previous slide

Next slide

Back to first slide

View graphic version