The Halting Problem

• Such a problem is decidable if its yes instances are recursive

halts

Previous slide

Next slide

Back to first slide

View graphic version