재귀의 역사

14

재귀에 대한 아이디어를 누가 소개 했습니까?
누군가 그것이 어디서 왔으며 그것이 어떻게 컴퓨터 과학에 영향을 주 었는지 설명 할 수 있습니까?

reference-request ho.history-overview recursion

— Srinivas Reddy Thatiparthy
소스

5

이 질문은 "컴퓨터 과학에 대한 재귀의 영향"이 너무 광범위 할 수 있습니까? 또한 질문에 대한 더 구체적인 제목이 좋습니다.

— Shane

19

Soare의 계산 및 재귀. http://www.people.cs.uchicago.edu/~soare/History/compute.pdf

이 논문은 여기에서 이용 가능한 계산 논문의 역사 중 첫 번째입니다 : http://www.people.cs.uchicago.edu/~soare/History/

— 아론 스털링
소스

1

2.2 절의 제목은 "재귀의 기원"입니다.

— Aaron Sterling

5

재귀의 역사에 대한이 수학적 설명을 보는 것은 흥미 롭습니다. 나는 의심 할 여지없이 적어도 우리가 좋은 문학을 가지고있는 한 인간의 생각의 주류가되어 왔던 회개의 개념의 역사에 대해이 질문을 혼동했다.

— 로스 스나이더

1999 년 "계산 이론의 핸드북"에있는 Soare의 기사를 참조하십시오.

— Kaveh

누군가이 비 원어민이 말하는 사람에게 농담을 설명해 주시겠습니까? 구글에 따르면 "회복"은 (1) "재귀"의 철자가 틀리거나 (2) Arthur & Aston 가방 브랜드 이름입니다. 아니면 어떻게 든 "cusion"과 연결되어 있어야합니까? 아니면 "주름"?

— 에밀 예라 벡은 모니카 지원

1

@Emil, 재귀에 대한 검색이 검색 페이지 자체를 나타내는 것은 Google Easter Egg입니다.

— Kaveh

6

실제 적용에 관한 한, 첫 번째는 아니지만 중요하다 : John McCarthy의 "기호식의 재귀 함수와 기계에 의한 계산, Part I" (Lisp를 소개 함)

— 셰인
소스

2

어쩌면 원래 질문에 약간 접할 수도 있지만 블로그 항목 " 재귀가 프로그래밍에 어떻게 참여했는지 : 오류 코미디 "는 초기 컴퓨팅 역사의 흥미로운 부분을 설명합니다.

— 마틴 버거
소스

2

에서 재귀 함수 에 기사 9월 :

재귀 사용은 19 세기로 거슬러 올라갑니다. Dedekind [1888]는 자연수 개념에 대한 공식적인 분석에 필요한 기능을 얻기 위해이 개념을 사용했다. 논리적으로 재귀는 Skolem [1923]에 나타나며, 여기에는 간단한 기본 응용 방법으로 많은 기본 기능을 정의 할 수 있습니다. 이 개념의 현대적인 형식화와 발전은 많은 사람들, 특히 고델 (Gödel) [1931], 허 브란트 (Herbrand), 로자 사 피터 (Rózsa Péter) [1951], 클레인 (Kleene) [1936]에 기인한다. 1952 년 Kleene은 Péter를“재귀 함수의 특수 이론에 대한 주요 기여자”라고 설명했습니다. 그녀는 1932 년 취리히 국제 수학자 대회에서 재귀 기능에 관한 논문을 발표했다.

자세한 내용은 다음을 제안합니다.

Rod Adams, " 고델 (Gödel)에서 튜링 (Turing)까지 재귀 함수와 계산의 초기 역사 ", 2011.

특히 5 페이지의 " 첫 번째 재귀 정의 " 섹션 을 참조하십시오.

— 카베
소스

1

언제 등장했는지는 모르지만 하노이 타워의 재귀 솔루션 은 종종 입문용으로 사용됩니다. 문제는 계산에 대한 공식적인 접근 이전에 시작되었습니다.

— 라파엘
소스

2

실제로는 아닙니다. 하노이 타워는 1883 년 에두아르 루카스 (Edouard Lucas)가 발명 한 것으로, Babbage와 Ada Lovelace (1843 년에 출판 된 논문)에 의한 공식적인 계산 방식이 끝나고 얼마 남지 않았습니다.

— Jeffrey Shallit