halting problem in Polish
halting problem in Polish
problem stopu
(computer science) The problem of deciding in finite time whether a given program will finish running in finite time, when given a certain finite input.