Alan Turing'in öğrencisi Robin Gandy, Charles Babbage'ın evrensel bir bilgi işlem makinesi fikri olmadığını iddia etti mi?

Robin Gandy , Alan Turing'in öğrencisiydi .

Gandy, Babbage'ın Analitik Motorunun bir analizini yaptı (bkz. 'Herken, Rolf - Evrensel Turing Makinesi — Yarım Yüzyıl Anketi . Springer Verlag'). s. 52–53):

1. Aritmetik fonksiyonlar +, -, ×, burada - y ≥ x ise "uygun" çıkarma x - y = 0 belirtir.
2. Herhangi bir işlem sırası bir işlemdir.
3. Bir işlemin yinelemesi (bir işlemin n kez tekrarlanması).
4. Koşullu yineleme (P testinin "başarısı" na bağlı olarak P işleminin n kez tekrarlanması).
5. Koşullu aktarım (yani koşullu "git").

Sonra şöyle diyor:

(1), (2) ve (4) ile hesaplanabilen fonksiyonlar, tam olarak Turing hesaplanabilir fonksiyonlardır.

(s.53).

Sonra şöyle diyor:

… Vurgu, sabit bir tekrarlanabilir aritmetik işlem dizisinin programlanması üzerinedir. Makinelerin genel bir hesap teorisi için koşullu yineleme ve koşullu aktarımın temel önemi tanınmamaktadır…

Gandy s. 55

Gandy'nin iddiasının kapsamını burada değerlendiriyorum. (Doğru ya da yanlış olup olmadığı). Babbage, Turing Completeness (Turing Tamamlama) kavramına rastlamış gibi görünse de (herhangi bir programı (1), (2) ve (4) kullanarak ifade edebilir) - Hesaplanabilir İşlev kavramına sahip olmadığını belirtiyor . Gandy, Babbage'ın çalışması Hilbert ve Godel'in çalışmalarından önce olduğundan, evrensel bir bilgisayar makinesinin tanımını bağlamak için matematiksel araçlara sahip olmadığını söyledi.)

Sorum şu: Alan Turing'in öğrencisi Robin Gandy, Charles Babbage'ın evrensel bir bilgi işlem makinesi fikri olmadığını iddia etti mi?

Hayır, tam tersi. Gandy'nin bu alıntısı Babbage'a değil, Babbage ve Turing arasındaki evrensel tarzda hesaplama için bazı müdahale önerilerine atıfta bulunuyor. Gandy, bu tekliflerin Babbage'ın dallanma ve evrensel hesaplamaya yinelemenin önemini tanımadığını söyledi.

Gandy'nin "Evrensel Turing Makinesi - Yarım Yüzyıl Anketi" kitabında basıldığı gibi "1936'da Fikirlerin Birleşmesi" bölümünde Bölüm 2 "Babbage and Followers".

Burada Gandy, Babbage'ın "koşullu yinelemeyi" ve "koşullu aktarımı" anladığını ve saygı gösterdiğini vurgulamaktadır, örneğin p53'ün sonu ve p54'ün üstü

Babbage koşullu aktarımdan (67-68) bahsetmesine rağmen, iyi yapılandırılmış programlamaya doğal bir saygı ile, sadece şartlı yinelemeyi kullanır [....] Şartlı aktarımı açıkça (240) belirtir ve 'git' komutuna izin verir görevliyi çağırmak için bir zil çalarak idam edilmesi gerekebilir; kullanımına bir örnek verir (241).

(Burada Gandy, Babab'ın motoruyla ilgili Menabrea 1842'nin makalesine atıfta bulunuyor, ancak fikirleri Babbage'ın kendisiyle ilişkilendiriyor gibi görünüyor.)

Gandy sonra Babbage tırnak

Analiz geliştirme ve işlemlerinin tamamı artık makineler tarafından gerçekleştirilebiliyor.

ve yazar

Babbage, genel cebir ve fonksiyonel denklemler üzerine yaptığı çalışmada soyut terimlerle düşünme yeteneğini göstermiştir. O zaman, kişi, soyut bir makine ile neler yapılabileceği konusunda, depolama sınırlamaları olmaksızın spekülasyon yapmasına (zor değil!) Yol açmış olsaydı, kesinlikle bir bölüme (Bölüm 2.1'e dayanarak. (1) - (5)).

Sonra Gandy Bölüm 2.3, "Sonraki gelişmeler" e devam eder. O yazıyor

Daha pratik makinelerle ilgilenen diğer yazarlar, Babbage'ın çalışmasından bahsetti. Ranellell 1982'den örnekler: M. d'Ocagne [1922], L. Couffignal [1933], V. Bush 1936, HH Aiken 11964] (bu yayınlanmamış bir 1939 muhtırasıdır). Ancak vurgu, sabit bir tekrarlanabilir aritmetik işlem dizisinin programlanması üzerinedir. Makinelerin genel bir hesaplama teorisi için koşullu yineleme ve koşullu aktarımın temel önemi bilinmemekle birlikte, ilkeler çok özel bağlamlarda kullanılabilir [....]

Sonunda Gandy şöyle yazar:

Sonuçlar. Babbage aslında Kilise'nin tezinin bir versiyonunu iddia etti. Çalışmaları hiçbir zaman tamamen unutulmadı, ancak teorik önemi - yani yazılım olarak önemi - çok az tanındı [....]