艾伦·图灵
大部份的無窮迴圈可以藉由詳細的的代碼檢視而找出，不過沒有通用的方式可以判斷程式是否會結束，或者會永遠執行（也就是無窮迴圈）。判斷程式會結束或會永遠執行的問題稱為停機問題，而英國電腦科學家艾伦·图灵证明了沒有停机问题的通用演算法。