It has something to do with the halting problem. The usual way of demonstrating that no program can solve the halting problem is to suppose you’ve got one that does and use it to carry out a construction a bit like the one HungryHobo is gesturing towards, where F arranges to halt iff the halting-tester says it doesn’t.
It has something to do with the halting problem. The usual way of demonstrating that no program can solve the halting problem is to suppose you’ve got one that does and use it to carry out a construction a bit like the one HungryHobo is gesturing towards, where F arranges to halt iff the halting-tester says it doesn’t.