1
Robin Gandy นักเรียนของ Alan Turing ยืนยันว่า Charles Babbage ไม่มีแนวคิดเกี่ยวกับเครื่องคำนวณสากลหรือไม่?
โรบิน Gandyเป็นนักเรียนของอลันทัวริง Gandy ทำการวิเคราะห์เครื่องยนต์วิเคราะห์ของBabbage (ดู 'Gandy - การรวมตัวของความคิดในปี 1936' ที่อ้างถึงใน 'Herken, Rolf - Universal Turing Machine - การสำรวจครึ่งศตวรรษ Springer Verlag') - และบอกว่ามันทำ (cf. หน้า 52–53): ฟังก์ชันเลขคณิต +, -, ×, โดยที่ - แสดงถึงการลบ "เหมาะสม" x - y = 0 ถ้า y ≥ x ลำดับของการดำเนินการใด ๆ คือการดำเนินการ การวนซ้ำของการดำเนินการ (การทำซ้ำ n คูณการดำเนินการ P) …