کسی فنکشن کے کمپیوٹیبل ہونے کا کیا مطلب ہے؟
-
اگرچہ غیر رسمی طور پر ایک فنکشن کمپیوٹیبل ہے اگر اس کی قدروں کا حساب لگایا جا سکتا ہے، ایلن ٹورنگ، الونزو چرچ، اور کرٹ گوڈیل میں سے ہر ایک کے پاس کمپیوٹیبلٹی کی رسمی تعریفیں تھیں، یعنی ٹیورنگ مشینیں، لیمبڈا کیلکولس، اور عام تکراری افعال۔ جب یہ چرچ ٹورنگ تھیسس میں دکھایا گیا کہ یہ تینوں فارمولیشنز مساوی ہیں، تو یہ زیادہ واضح ہو گیا کہ انہیں کمپیوٹیبلٹی کی رسمی تعریف کے طور پر استعمال کیا جا سکتا ہے۔