Zvinorevei kuti basa rinogona kuverengwa?
Kunyange zvazvo zvisina kurongwa basa rinogona kuverengwa kana kukosha kwaro kuchigona kuverengwa, Alan Turing, Alonzo Church, naKurt Godel mumwe nomumwe aiva nemitsanangudzo yepamutemo yecomputablility, kureva Turing Machines, Lambda Calculus, uye mabasa akajairika anodzokororwa. Apo kwakaratidzwa muChurch-Turing thesis kuti aya magadzirirwo matatu akaenzana, zvakava zvakajeka kuti aigona kushandiswa senongedzero yepamutemo yekugona kuverenga.