 Kí ni ó túmọ sí fún iṣẹ kan láti jẹ èyí tí a lè kà? : Bó tilẹ jẹ wípé ní ti àìjẹ-àṣà, iṣẹ kan jẹ tí ó ṣeé ṣe láti kà bí a bá lè kà iye rẹ, Alan Turing, Alonzo Church, àti Kurt Godel kọọkan ní àwọn ìtumọ tí ó jẹ ojúlówó fún computablility, ìyẹn àwọn Ẹrọ Turing, Lambda Calculus, àti àwọn iṣẹ àtúnyẹwò gbogbogbo. Nígbà tí wọn fi hàn nínú àbájáde Church-Turing pé àwọn ọnà mẹta yìí bára mu, ó wá túbọ ṣe kedere pé wọn lè lò wọn gẹgẹ bí àlàyé tó ṣe pàtó nípa bí wọn ṣe lè ṣe ìṣirò. 