Details: Termination is an album inspired by the halting problem in computer theory, i.e. whether the program will finish running or continue to run forever. The halting problem is undecidable,...