"Ступінь складності обчислення функції і часткове впорядкування рекурсивних наборів"

Шукаю:

Майкл О. Рабін, "Ступінь складності обчислення функції і часткове впорядкування рекурсивних наборів", Єврейський університет, Єрусалим, 1960

Підсумок:

«Ми намагаємося виміряти обсяг роботи, притаманний завданню обчислення заданої обчислювальної (рекурсивної) функції. Вводиться та вивчається поняття ступеня складності обчислень. Поняття інваріантне в тому сенсі, що воно не залежить від ідеалізованих комп'ютерів (машини Тьюрінга), що використовуються для обчислення відповідних функцій. Застосовуються додатки до класифікації вирішуваних задач вирішення (рекурсивних наборів) за відносною складністю. "

Не вдалося знайти копію в Інтернеті чи в нашій бібліотеці.

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

— Каве
джерело

Заголовок цікавий, а теза повинна дати розуміння раннього розвитку понять, що фіксують твердість обчислювальних функцій.

— Мохаммед Аль-Туркстані

Я сподіваюся, що вони зберігають фізичну копію в Єврейському університеті ...

— Yuval Filmus

Коментар, що не (безпосередньо) стосується ОП: чи законно збирати Інтернет-сховище старих (не знаю, як довго кваліфікується як старі) дисертацій / дисертацій та дозволяти вільний доступ? З багатьох причин новіші, як правило, легко дістати.

— Ісін Чао

@YixinCao коментарі не підходять для запитання нових дотичних питань. Ви можете залишити запитання в Academia .

— Каве

ps: виявляється, це не теза Рабіна. Його теза згідно Вікіпедії - "Рекурсивна нерозв'язність групових теоретичних проблем", 1957 р.

— Каве

У Національній бібліотеці Ізраїлю є дві позикові копії.

Ось сканована копія .

— Юваль Фільм
джерело

Приємно. Це копії? Вони пропонують версію PDF?

— Мохаммед Аль-Туркстані

Друковані копії. Але, можливо, вони сканують їх на вимогу. Напевно, я можу власноруч отримати фізичну копію, хоча я не збираюсь все це сканувати ...

— Yuval Filmus

Дякую Ювал. Я сподіваюся, що хтось має відскановану копію (враховуючи, що це одна з основоположних посилань теорії складності).

— Каве

@Kaveh: Це одна з основоположних посилань? Я ніколи не бачив його привели ... У мене є скан Рабін «Математична теорія автоматів» , яка є одним з трьох робіт часто цитованих за те , що ввели поняття Р (і які я тому робити розглянути основоположним). Дайте мені знати, чи вам це сподобається.

— Джошуа Грохов

@Josh, я бачив, як це цитується разом із роботами Кобгама та Едмондса, Хартманіса і Стірнса, як перші статті, що розповідають про те, що зараз називається теорією складності обчислювальної техніки. На щастя, у Стіва є копія тези Рабіна, він сказав, що він просканує та розмістить її в Інтернеті.

— Каве