Özyineleme fikrini kim tanıttı ?
Birisi nereden geldiğini ve bilgisayar bilimini nasıl etkilediğini açıklayabilir mi?
Yanıtlar:
Hesaplanabilirlik ve Özyineleme, Soare. http://www.people.cs.uchicago.edu/~soare/History/compute.pdf
Bu makale, burada bulunan hesaplama kağıtlarının tarihinin ilkidir: http://www.people.cs.uchicago.edu/~soare/History/
İlk değil, pratik uygulama açısından önemli: John McCarthy (Lisp'i tanıttığı) tarafından "Sembolik İfadelerin Özyinelemeli İşlevleri ve Makineyle Hesaplamaları, Bölüm I"
Belki orijinal soruya biraz teğet, ancak " Özyineleme programlamaya nasıl girdi : hatalar komedisi " blog girişi , erken bilgi işlem geçmişinin ilginç bir bölümünü açıklar.
Gönderen özyinelemeli fonksiyonlar üzerindeki yazıya SEP :
Özyineleme kullanımı 19. yüzyıla kadar uzanmaktadır. Dedekind [1888], doğal sayı kavramının resmi analizinde ihtiyaç duyulan işlevleri elde etmek için bu kavramı kullanmıştır. Mantıkta, özyineleme Skolem [1923] 'te görülür ve burada birçok temel fonksiyonun, yöntemin basit uygulamaları ile tanımlanabileceği belirtilir. Kavramın modernizasyonu ve gelişimi, özellikle Gödel [1931], Herbrand, Rózsa Péter [1951] ve Kleene [1936] olmak üzere bir dizi insana bağlıdır. 1952'de Kleene, Péter'i “özyinelemeli fonksiyonlar özel teorisinin önde gelen katkısı” olarak nitelendirdi. 1932'de Zürih'teki Uluslararası Matematikçiler Kongresi'nde özyinelemeli işlevler hakkında bir makale sundu.
Daha fazla bilgi için aşağıdakileri önerir:
Özellikle, " İlk Özyinelemeli Tanımlar " başlıklı bölüme bakın sayfa 5.
Ne zaman ortaya çıktığını bilmiyorum, ancak Hanoi Kuleleri için özyinelemeli çözüm sıklıkla tanıtım örneği olarak kullanılmaktadır. Sorun, hesaplama üzerine resmi yaklaşımlardan önce ortaya çıkmıştır.