የዘመናዊው ኮምፒዩተር መርህ ለመጀመሪያ ጊዜ የተገለጸው በሂሳብ ሊቅ እና ፈር ቀዳጅ የኮምፒዩተር ሳይንቲስት አላን ቱሪንግ ሲሆን ሃሳቡን በ1936 በሴሚናል ወረቀቱ ላይ በኮምፒውተብል ቁጥሮች ላይ አስቀምጧል። ቱሪንግ የተሻሻለው የኩርት ጎዴል እ.ኤ.አ. አንዳንድ እንደዚህ ያሉ ማሽኖች እንደ አልጎሪዝም የሚወክሉ ከሆነ ማንኛውንም ሊታሰብ የሚችል የሂሳብ ስሌት ማከናወን እንደሚችሉ አረጋግጧል። በመቀጠልም የቱሪንግ ማሽነሪዎችን የማስቆም ችግር ሊታወቅ የማይችል መሆኑን በመጀመሪያ በማሳየት ለኤንቼይድንግስ ችግር ምንም አይነት መፍትሄ አለመኖሩን አረጋግጧል፡ በአጠቃላይ የተሰጠው የቱሪንግ ማሽን መቆሙን በአልጎሪዝም መወሰን አይቻልም።
በ 1931 ቱሪንግ በማረጋገጫ እና ስሌት ወሰን ላይ ውጤቱን የከለሰው ማነው?
የኩርት ጎዴል
ከርት ጎደል
Kurt Gödel