Historia de recursividad.


Respuestas:


19

Computabilidad y recursividad, por Soare. http://www.people.cs.uchicago.edu/~soare/History/compute.pdf

Este documento es el primero de la historia de los documentos de computación disponibles aquí: http://www.people.cs.uchicago.edu/~soare/History/


1
La sección 2.2 se titula "El origen de la recursión".
Aaron Sterling

55
Es interesante ver esta cuenta matemática de la historia de la recursión. Confundí esta pregunta con una historia del concepto de recusión, que sin duda ha sido un pilar del pensamiento humano al menos desde que tenemos buena literatura.
Ross Snider

Ver también el artículo de Soare en "Manual de Teoría de la Computabilidad", 1999.
Kaveh

¿Podría alguien explicarle el chiste a este desconcertado hablante no nativo? Según Google, "recusion" es (1) un error ortográfico de "recursión", o (2) una marca de la bolsa Arthur & Aston. ¿O se supone que está conectado a "cusion" de alguna manera? O para "maldecir"?
Emil Jeřábek apoya a Monica el

1
@Emil, es un huevo de Pascua de Google que la búsqueda de recurrencia se refiere a la página de búsqueda en sí.
Kaveh



2

Del artículo de Funciones recursivas en SEP :

El uso de la recursión se remonta al siglo XIX. Dedekind [1888] utilizó la noción para obtener las funciones necesarias en su análisis formal del concepto de número natural. En lógica, la recursividad aparece en Skolem [1923], donde se observa que muchas funciones básicas se pueden definir mediante aplicaciones simples del método. La formalización moderna y el desarrollo de la noción se deben a varias personas, especialmente a Gödel [1931], Herbrand, Rózsa Péter [1951] y Kleene [1936]. Kleene en 1952 describió a Péter como "el principal contribuyente a la teoría especial de las funciones recursivas". Presentó un documento sobre las funciones recursivas en el Congreso Internacional de Matemáticos en Zurich en 1932.

Sugiere lo siguiente para obtener más información:

En particular, vea la sección titulada " Las primeras definiciones recursivas " en la página 5.


1

No sé cuándo surgió, pero la solución recursiva para Towers of Hanoi se usa con frecuencia como ejemplo introductorio. El problema se originó antes de los enfoques formales sobre computación.


2
Realmente no. Las Torres de Hanói fueron inventadas por Edouard Lucas en 1883, mucho después de los primeros enfoques formales de cálculo de Babbage y Ada Lovelace (su artículo fue publicado en 1843).
Jeffrey Shallit
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.