| Next | You can't get there from here | 32 |
So there's no reliable way to figure out if a program will halt
Not from looking at the source code, not from anything else
OK, big deal
Maybe we didn't care much about halting
But this has some very profound implications
| Next | |
Copyright © 2005 M. J. Dominus |