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ò.