 Itti fufees Entscheidungsproblem dhaaf furmaanni akka hin jirre dhugeesse prove; kanas maashiniin Tuuriinii akka hojjachuu dhaabu mirkaneessuun hin dandaamu: walii galatti, seermurtoodhaan maashiniin Tuurin akka hojii dhaabu bira gahuun hin dandaamu. 