Nie istnieje uniwersalny algorytm (dla standardowej [[maszynymaszyna Turinga|maszyny Turinga]]<ref>Udowodniono, że taki algorytm istnieje, jeśli maszyna Turinga ma dostęp do [[zamknięta krzywa czasopodobna|zamkniętych krzywych czasopodbnych]] w wersji [[David Deutsch|Deutscha]] ({{Cytuj |autor = Scott Aaronson, Mohammad Bavarian, Giulio Gueltrini |tytuł = Computability Theory of Closed Timelike Curves |czasopismo = arXiv:1609.05507 [quant-ph] |data = 2016-09-18 |data dostępu = 2019-09-30 |url = http://arxiv.org/abs/1609.05507}}) albo [[podpowiedź (teoria złożoności)|kwantowej podpowiedzi]] i aparatury pomiarowej nie powodującej [[kolaps funkcji falowej|kolapsu funkcji falowej]] ({{Cytuj |autor = Scott Aaronson |tytuł = PDQP/qpoly = ALL |czasopismo = arXiv:1805.08577 [quant-ph] |data = 2018-05-22 |data dostępu = 2019-09-30 |url = http://arxiv.org/abs/1805.08577}}).</ref>) rozstrzygający problem stopu dla wszystkich algorytmów. Jest to więc [[problem nierozstrzygalny]]. Otóż jeżeli istniałby taki program <code>stop</code>, to mógłby on działać zgodnie z poniższym [[pseudokod]]em:
