 ஒரு செயல்பாடு கணக்கிடக்கூடியது என்றால் என்ன?
 முறைசாரா முறையில் ஒரு செயல்பாட்டின் மதிப்புகள் கணக்கிடப்படுமானால் கணக்கிடக்கூடியதாக இருந்தாலும், ஆலன் டூரிங், அலோன்சோ சர்ச் மற்றும் கர்ட் கோடெல் இருவரும் கணக்கீட்டுத் திறன் பற்றிய முறையான வரையறைகளைக் கொண்டிருந்தனர், அதாவது டூரிங் மெஷின்கள், லாம்ப்டா கால்குலஸ் மற்றும் பொதுவான சுழல்நிலை செயல்பாடுகள். சர்ச்-டூரிங் ஆய்வறிக்கையில் இந்த மூன்று சூத்திரங்களும் சமமானவை என்று காட்டப்பட்டபோது, அவை கணக்கீட்டின் முறையான வரையறையாகப் பயன்படுத்தப்படலாம் என்பது தெளிவாகியது.