Mashhur olim Donald Knut shunday taʼrifni taklif qilgan: X — bu bizga shunchalik tushunarli boʻlgan bilimki, biz uni hisoblash mashinasiga oʻrgata olamiz; biz hali hamma narsani oxirigacha tushunmagan joyda esa Y boshlanadi. X va Y ni toping.