The Halting Problem in computer science asks whether it's possible to create a universal algorithm that can determine, for any given program and input, if that program will eventually halt (terminate) or run forever. Alan Turing proved it is undecidable
#ML #Paradox