Изчислителни проблем, който не може да бъде решен от една машина на Тюринг. Асоциираните функция се нарича uncomputable функция.