अनौपचारिकरित्या एखादे फंक्शन संगणनीय आहे जर त्याची मूल्ये गणना केली जाऊ शकतील, तर अॅलन ट्युरिंग, अलोन्झो चर्च आणि कर्ट गोडेल प्रत्येकाकडे संगणनीयतेची औपचारिक व्याख्या होती, म्हणजेच ट्युरिंग मशीन, लॅम्ब्डा कॅल्क्युलस आणि सामान्य पुनरावृत्ती फंक्शन्स. जेव्हा चर्च-ट्युरिंग प्रबंधात हे दाखवण्यात आले की ही तीन सूत्रे समतुल्य आहेत, तेव्हा हे अधिक स्पष्ट झाले की ते संगणनात्मकतेची औपचारिक व्याख्या म्हणून वापरले जाऊ शकतात.
फंक्शनची गणना करण्यायोग्य असणे म्हणजे काय?