Ho bolela'ng hore mosebetsi o ka baloa?
Le hoja ka mokhoa o sa tsejoeng mosebetsi o ka baloa haeba litekanyetso tsa oona li ka baloa, Alan Turing, Alonzo Church, le Kurt Godel e mong le e mong o ne a e-na le litlhaloso tsa semmuso tsa ho baloa, e leng Turing Machines, Lambda Calculus, le mesebetsi e akaretsang ea ho pheta-pheta. Ha ho ne ho bontšoa ka thuto ea Kereke-Turing hore mekhoa ena e meraro e lekana, ho ile ha hlaka haholoanyane hore e ka sebelisoa e le tlhaloso ea semmuso ea ho bala.