مَاذَا يَعْنِي لِوَظِيفَةٍ أَنْ تَكُونَ حَاسِبَةً؟
وَلَوْ كَانَتْ دَالِيَةٌ مُحْسَبَةً إِذَا كَانَتْ قِيمَتُهَا مُحْسَبَةً، كَانَ لِأَلَان تُورِينْجَ، وَأَلُونْزُو كَنْشُ، وَكُرْتُ غُودِلَ تَعْرِيفَاتٌ رُسْمِيَّةٌ لِلْمُحْسَبَةِ، كَآلَاتِ تُورِينْجَ، وَالْحِسَابِ لَمْبَدَا، وَدَالِيَاتِ التَّرْجِيعِ الْعَامَّةِ. لَمَّا أُثْبِتَتْ فِي أَطْرَافِ كَنْسِ تُورِنْجَ أَنَّ هَذِهِ الصُّوَرَ الثَّلَاثَةَ مُسَاوِيَةٌ، صَارَ أَوْضَحَ أَنَّهَا تُسْتَعْمَلُ كَتَعْرِيفٍ صَحِيحٍ لِلْحَسَبِيَّةِ.