 ශ්‍රිතයක් ගණනය කළ හැකි වීම යන්නෙන් අදහස් කරන්නේ කුමක්ද?
 අවිධිමත් ලෙස ශ්‍රිතයක් එහි අගයන් ගණනය කළ හැකි නම් ගණනය කළ හැකි වුවද, Alan Turing, Alonzo Church සහ Kurt Godel යන දෙදෙනාටම ටියුරින් යන්ත්‍ර, ලැම්ඩා කැල්කියුලස් සහ සාමාන්‍ය ප්‍රත්‍යාවර්තී ශ්‍රිත යන පරිගණන හැකියාව පිළිබඳ විධිමත් අර්ථකථන තිබුණි. චර්ච්-ටියුරින් නිබන්ධනයේ මෙම සූත්‍ර තුන සමාන බව පෙන්වූ විට, ඒවා ගණනය කිරීමේ විධිමත් අර්ථ දැක්වීමක් ලෙස භාවිතා කළ හැකි බව වඩාත් පැහැදිලි විය.