Проблема зупинки — це проблема прийняття рішення щодо властивостей комп’ютерних програм на фіксованій повній моделі обчислень Тьюрінга, тобто всі програми, які можуть бути написані на певній заданій мові програмування, яка є достатньо загальною, щоб бути еквівалентною машині Тьюрінга.
Однією з відомих нерозв'язних проблем є проблема зупинки. Він задає наступне запитання: задано довільну машину Тьюрінга M над алфавітом = { a , b } та довільний рядок w над , чи M зупиняється, коли йому задано w як вхідні дані? Можна показати, що проблема зупинки нерозв'язна, отже, нерозв'язна.
Найочевидніший і найстрашніший недолік тесту Тюрінга полягає в тому Тьюрінг не може довести, що машини можуть мислити, більше не для того, щоб його опоненти могли довести, що вони не вміють мислити. Однак ця уявна вада пов’язана з неправильним тлумаченням обсягу тесту Тьюрінга.
Що таке проблема зупинки? Проблему зупинки запропонував Алан Тюрінг у 1936 році. Проблема зупинки є фундаментальною проблемою в теорії та обчисленнях. Проблема зупинки полягає в тому проблема визначення того, чи буде комп’ютерна програма зупинятися чи працювати назавжди.
Машина Тюрінга вирішила проблему формалізуючи поняття здорового глузду «обчислення» щоб можна було доводити теореми про обчислення з математичною суворістю.
Тест Тьюринга був викликаний декількома критиками, головне питання щодо обмеженого характеру опитувань у тесті. Незважаючи на те, що тест виявився впливовим винаходом, одне з найбільших зауважень і обмежень тесту Тюрінга полягає в тому, що це недостатній показник ШІ.