Ensin hän osoitti, ettei pysähtymisongelmaa voitu ratkaista Turingin koneilla: ei ole mahdollista saada algoritmisesti selville, pysähtyykö tietty Turingin kone koskaan.
على سبيل المثال، آلة أوراكل لا يمكنها الإجابة على السؤال عن ما إذا كانت آلة أوراكل معينه ستتوقف أبداً.