- This is the tale of what for me was a rather remarkable adventure. It was assembled on the basis of my personal recollection and experience, emails, GPS logs and some official documents. It represents solely the perspective and opinions of myself, in my more lucid moments. It is in no way intended to represent the position of the Riverside Mountain Rescue Unit, nor any other agency mentioned. Further, my usual writing style tends to be somewhat lighthearted and flippant, which would be somewhat at odds with the serious and tragic nature of the incident being reported. I have attempted to remain sensitive to the underlying events, yet retain a certain level of casual narrative that some might find entertaining. And if not entertaining, then at least informative.
- Halting problem (Wikipedia)
In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever. The halting problem is undecidable, meaning that no general algorithm exists that solves the halting problem for all possible program–input pairs. The problem comes up often in discussions of computability since it demonstrates that some functions are mathematically definable but not computable.