रॉबिन गैंडी एलन ट्यूरिंग का छात्र था ।
गैंडी ने बैबेज के एनालिटिकल इंजन का विश्लेषण किया (देखें 'गैंडी - 1936 में विचारों का संगम', हेरकेन, रॉल्फ - द यूनिवर्सल ट्यूरिंग मशीन-अ हाफ सेंचुरी सर्वे । स्प्रिंगर वर्लाग) में उद्धृत - और यह कहा (cf. पी। 52-53):
- अंकगणितीय कार्य +, -, ×, जहां - इंगित करता है "उचित" घटाव x - y = 0 यदि y ≥ x।
- संचालन का कोई भी अनुक्रम एक ऑपरेशन है।
- एक ऑपरेशन का दोहराव (एन बार एक ऑपरेशन पी को दोहराते हुए)।
- सशर्त पुनरावृत्ति (परीक्षण टी की "सफलता" पर एक ऑपरेशन पी सशर्त दोहराता है)।
- सशर्त स्थानांतरण (यानी, सशर्त "गोटो")।
फिर वह कहता है
जिन कार्यों की गणना की जा सकती है (1), (2), और (4) ठीक वही हैं जो ट्यूरिंग कम्प्यूटेबल हैं।
(पृष्ठ ५३)।
फिर वह कहता है:
... जोर अंकगणितीय संचालन के एक निश्चित पुनरावृत्ति अनुक्रम प्रोग्रामिंग पर है। गणना मशीनों के एक सामान्य सिद्धांत के लिए सशर्त पुनरावृत्ति और सशर्त हस्तांतरण के मौलिक महत्व को मान्यता नहीं है ...
गैंडी पी। 55
मैं यहां गैंडी के दावे के दायरे का आकलन कर रहा हूं । (चाहे वह सही हो या गलत)। उन्होंने कहा कि ऐसा लगता है कि हालांकि बैबेज ने ट्यूरिंग कम्प्लीटनेस (1), (2) और (4) का उपयोग करके किसी भी कार्यक्रम को व्यक्त कर सकते हैं - वह एक कम्प्यूटेशनल फ़ंक्शन (शायद ) की धारणा नहीं थी । गैंडी कह रहा था कि चूंकि बैबेज का काम हिल्बर्ट और गोडेल के काम से पहले था , इसलिए उनके पास एक सार्वभौमिक कंप्यूटिंग मशीन की परिभाषा को टाई करने के लिए गणितीय उपकरण नहीं थे।)
मेरा प्रश्न है: क्या एलन ट्यूरिंग के छात्र रॉबिन गैंडी ने कहा कि चार्ल्स बैबेज के पास सार्वभौमिक कंप्यूटिंग मशीन की कोई धारणा नहीं थी?