sentence1: على سبيل المثال، آلة أوراكل لا يمكنها الإجابة على السؤال عن ما إذا كانت آلة أوراكل معينه ستتوقف أبداً.
sentence2: Тој започна со доказот дека не постои решение на “проблемот на нерешливоста” прво со покажувајќи дека проблемот со стопирање на Тјуринговата машина е неодлучен: не е можно да се докаже алгоритамски дали одредена Тјурингова машина некогаш би запрела.