Il "grado di difficoltà di Rabin nel calcolare una funzione e un ordinamento parziale di insiemi ricorsivi"

Sto cercando:

Michael O. Rabin, "Grado di difficoltà nel calcolo di una funzione e ordinamento parziale di insiemi ricorsivi", Hebrew University, Gerusalemme, 1960

Sommario:

“Cerchiamo di misurare la quantità di lavoro inerente al compito di calcolare una determinata funzione calcolabile (ricorsiva). Viene introdotta e studiata una nozione di grado di difficoltà informatica. L'idea è invariante nel senso che è indipendente dai computer idealizzati (macchine di Turing) usati per calcolare le funzioni in questione. Vengono presentate domande per la classificazione dei problemi di decisione risolvibili (serie ricorsive) in base alla relativa difficoltà. "

Non sono riuscito a trovarne una copia online o nella nostra biblioteca.

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

— Kaveh
fonte

Il titolo è interessante e la tesi dovrebbe fornire approfondimenti sullo sviluppo iniziale di nozioni che catturano la durezza delle funzioni di elaborazione.

— Mohammad Al-Turkistany,

Spero che ne conservino una copia fisica all'università ebraica ...

— Yuval Filmus,

Un commento non (direttamente) rilevante per l'OP: è legale raccogliere un archivio online di tesi / tesi di laurea (non so da quanto tempo è vecchio) e consentire l'accesso gratuito? Per molte ragioni, quelle più recenti sono in genere facili da ottenere.

— Yixin Cao,

I commenti di @YixinCao non sono adatti per porre nuove domande tangenziali. Puoi pubblicare una domanda su Academia .

— Kaveh,

ps: si scopre che non è la tesi di Rabin. La sua tesi secondo Wikipedia è "Insolvibilità ricorsiva dei problemi teorici di gruppo", 1957.

— Kaveh,

Ci sono due copie prestabili alla Biblioteca Nazionale di Israele.

Ecco una copia scannerizzata .

— Yuval Filmus
fonte

Bello. Sono copie cartacee? Offrono la versione PDF?

— Mohammad Al-Turkistany,

Copie cartacee. Ma forse li scansioneranno su richiesta. Probabilmente posso procurarmi una copia fisica, anche se non ho intenzione di scansionarlo tutto da solo ...

— Yuval Filmus

Grazie Yuval. Spero che qualcuno ne abbia una copia scannerizzata (considerato che è uno dei riferimenti fondanti della teoria della complessità).

— Kaveh,

@Kaveh: è uno dei riferimenti fondanti? Non ho mai visto citato ... Ho una scansione di "teoria matematica degli automi," di Rabin, che è uno dei tre documenti, spesso citati per aver introdotto il concetto di P (e che pertanto fare considero fondamentale). Fammi sapere se ti piacerebbe.

— Joshua Grochow,

@Josh, l'ho visto citato insieme a Cobham e Edmonds e Hartmanis e Stearns come i primi articoli che parlano di quella che ora viene chiamata teoria della complessità computazionale. Fortunatamente Steve ha una copia della tesi di Rabin, ha detto che lo scannerizzerà e lo pubblicherà online.

— Kaveh,