Ai giới thiệu ý tưởng đệ quy ?
Ai đó có thể giải thích nó đến từ đâu và nó đã tác động đến khoa học máy tính như thế nào không?
Câu trả lời:
Tính toán và đệ quy, bởi Soare. http://www.people.cs.uchicago.edu/~soare/History/compute.pdf
Bài viết này là lần đầu tiên trong lịch sử của các bài báo tính toán có sẵn ở đây: http://www.people.cs.uchicago.edu/~soare/History/
Không phải là lần đầu tiên, nhưng quan trọng cho đến nay là ứng dụng thực tế có liên quan: "Các hàm đệ quy của biểu thức tượng trưng và tính toán của chúng bằng máy, Phần I" của John McCarthy (trong đó ông đã giới thiệu Lisp)
Có thể hơi tiếp tuyến với câu hỏi ban đầu, nhưng mục blog " Làm thế nào đệ quy vào lập trình: một bộ phim hài về các lỗi " mô tả một phần thú vị của lịch sử điện toán ban đầu.
Từ bài viết Hàm đệ quy trên SEP :
Việc sử dụng đệ quy trở lại thế kỷ 19. Dedekind [1888] đã sử dụng khái niệm này để có được các hàm cần thiết trong phân tích chính thức của ông về khái niệm số tự nhiên. Trong logic, đệ quy xuất hiện trong Skolem [1923], trong đó lưu ý rằng nhiều hàm cơ bản có thể được xác định bởi các ứng dụng đơn giản của phương thức. Sự chính thức hóa và phát triển hiện đại của khái niệm này là do một số người, nổi bật nhất là Gôdel [1931], Herbrand, Rózsa Péter [1951] và Kleene [1936]. Kleene năm 1952 đã mô tả Péter là người đóng góp hàng đầu cho lý thuyết đặc biệt về các hàm đệ quy. Bà đã trình bày một bài báo về các chức năng đệ quy tại Đại hội các nhà toán học quốc tế tại Zurich năm 1932.
Nó gợi ý những điều sau để biết thêm thông tin:
Cụ thể, xem phần có tiêu đề " Định nghĩa đệ quy đầu tiên " trên trang 5.
Tôi không biết khi nào nó xuất hiện, nhưng giải pháp đệ quy cho Tháp Hà Nội thường được sử dụng làm ví dụ giới thiệu. Vấn đề bắt nguồn trước khi tiếp cận chính thức về tính toán.