“The undecidable problem of determining if a program will eventually stop running.”

“A fundamental computer science problem discussed as a potential application for CWM simulation.”