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.
