অনানুষ্ঠানিক ভাবে, এটা জিজ্ঞাসা করে প্রত্যেক সমস্যার সমাধান যা কম্পিউটার দ্বারা দ্রুত যাচাই করা যেতে পারে তা কি কম্পিউটার দ্বারা দ্রুত সমাধান করা যেতে পারে; এটি ব্যাপকভাবে অনুমান করা হয় যে উত্তরটি না।