라빈의“함수 계산의 난이도와 재귀 집합의 부분 순서”

내가 찾고 있어요:

Michael O. Rabin, "함수 계산의 어려움과 재귀 집합의 부분 순서 정도", 히브리 대학교, 예루살렘, 1960

요약:

“우리는 주어진 계산 가능한 (재귀) 함수를 계산하는 작업에 내재 된 작업량을 측정하려고합니다. 컴퓨팅의 난이도에 대한 개념이 소개되고 연구됩니다. 이 개념은 문제의 기능을 계산하는 데 사용되는 이상적인 컴퓨터 (Turing Machines)와 독립적이라는 의미에서 변하지 않습니다. 상대적 난이도에 따라 해결 가능한 결정 문제 (재귀 세트)의 분류에 적용됩니다.”

온라인이나 도서관에서 사본을 찾을 수 없습니다.

cc.complexity-theory reference-request ho.history-overview

— 카베
소스

제목은 흥미롭고 논문은 컴퓨팅 기능의 경도를 포착하는 개념의 초기 개발에 대한 통찰력을 제공해야합니다.

— Mohammad Al-Turkistany

나는 그들이 히브리 대학에서 실제 사본을 보관하기를 희망합니다 ...

— Yuval Filmus

OP와 (직접적으로) 관련이없는 의견 : 구식 온라인 구식 저장소 (오래된 자격이있는 기간을 모르겠습니다)를 수집하고 무료로 액세스 할 수있는 것이 합법적인가요? 여러 가지 이유로, 새로운 것들은 일반적으로 입수하기 쉽습니다.

— Yixin Cao

@YixinCao 의견은 새로운 접선 질문에 적합하지 않습니다. 당신은 Academia에 질문을 게시 할 수 있습니다 .

— Kaveh

추신 : 그것은 라빈의 논문이 아니라는 것이 밝혀졌습니다. Wikipedia에 따르면 그의 논문은 1957 년 "그룹 이론적 문제의 재귀

— 불가능 성

이스라엘 국립 도서관에는 2 개의 대출 가능한 사본이 있습니다.

여기 스캔 한 사본이 있습니다.

— 유발 필름 러스
소스

좋은. 이 하드 카피입니까? 그들은 PDF 버전을 제공합니까?

— Mohammad Al-Turkistany

하드 카피. 그러나 그들은 필요할 때 스캔 할 것입니다. 나 자신이 직접 스캔하지는 않겠지 만 실제 사본을 직접 얻을 수 있습니다.

— Yuval Filmus

고마워요 Yuval. 누군가가 스캔 한 사본을 가지고 있기를 바랍니다 (복잡성 이론의 창립 참조 중 하나임).

— Kaveh

@Kaveh : 창립 참고 문헌 중 하나입니까? 나는 종종 P의 개념 (어느 I 따라서 도입 한을 위해 인용 된 세 개의 논문 중 하나입니다 라빈의 "오토마타의 수학 이론"의 스캔이 ... 그것이 인용 본 적이 없다 할 기본적인 생각을). 당신이 그것을 원한다면 알려주세요.

— Joshua Grochow

@ 조쉬, 나는 그것이 현재 계산 복잡성 이론이라고 불리는 것에 대해 이야기하는 첫 번째 논문으로 Cobham과 Edmonds 및 Hartmanis 및 Stearns와 함께 인용 한 것을 보았습니다. 다행스럽게도 Steve는 Rabin 논문의 사본을 가지고 있으며이를 스캔하여 온라인으로 게시 할 것이라고 말했습니다.

— Kaveh