Priinsippiliin kompitara ammayyaa jalqaba kan ibsame saayintistii kompitaraa Alen Tuurinin yoo ta'u kunis bara 1936 barruu (paper) On Computable Numbers jedhamu irratti. Tuuriin daangaa piruufii fi qooyyabaa kan Kurt Gödel 1931 kan afaan yuuniversaalii kan qooyyaba irratti hundaa'e ture, meeshaa yaadaa qofaan jiru kan salphaa fi foormaalii ta'e kan Tuurin maashin jedhamuun bakka buuse. Tuuriin mashinoonni akkasii qooyyaba herregaa sammuun namnaa yaaduu danda'u kamiyyuu yoo akka seermurtootti ibsuun danda'ame hojjachuu akka danda'an mirkaneesse. Itti fufees Entscheidungsproblem dhaaf furmaanni akka hin jirre dhugeesse (prove); kanas maashiniin Tuuriinii akka hojjachuu dhaabu mirkaneessuun hin danda'amu: walii galatti, seermurtoodhaan maashiniin Tuurin akka hojii dhaabu bira gahuun hin danda'amu.