Rabins "Schwierigkeitsgrad bei der Berechnung einer Funktion und der teilweisen Anordnung rekursiver Mengen"

Ich suche nach:

Michael O. Rabin, "Schwierigkeitsgrad der Berechnung einer Funktion und eine teilweise Anordnung von rekursiven Mengen", Hebrew University, Jerusalem, 1960

Zusammenfassung:

„Wir versuchen, den Arbeitsaufwand zu messen, der mit der Berechnung einer bestimmten berechenbaren (rekursiven) Funktion verbunden ist. Ein Begriff des Schwierigkeitsgrades des Rechnens wird eingeführt und untersucht. Der Begriff ist insofern unveränderlich, als er unabhängig von den idealisierten Computern (Turing Machines) ist, die zur Berechnung der fraglichen Funktionen verwendet werden. Es werden Anträge gestellt, um lösbare Entscheidungsprobleme (rekursive Mengen) nach relativen Schwierigkeitsgraden zu klassifizieren. “

Ich konnte kein Exemplar online oder in unserer Bibliothek finden.

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

— Kaveh
quelle

Der Titel ist interessant und die Arbeit soll Einblicke in die frühe Entwicklung von Begriffen geben, die die Härte von Computerfunktionen erfassen.

— Mohammad Al-Turkistany

Ich hoffe, sie behalten eine physische Kopie an der Hebräischen Universität ...

— Yuval Filmus

Ein Kommentar, der für das OP nicht (direkt) relevant ist: Ist es legal, ein Online-Repository alter (ich weiß nicht, wie lange es als alt qualifiziert ist) Dissertationen zu sammeln und freien Zugang zu gewähren? Aus vielen Gründen sind die neueren normalerweise leicht zu bekommen.

— Yixin Cao

@ YixinCao-Kommentare eignen sich nicht zum Stellen neuer tangentialer Fragen. Sie können eine Frage zu Academia stellen .

— Kaveh

ps: es stellt sich heraus, dass es nicht Rabins These ist. Seine These laut Wikipedia lautet "Rekursive Unlösbarkeit gruppentheoretischer Probleme", 1957.

— Kaveh

Es gibt zwei ausleihbare Exemplare in der Nationalbibliothek von Israel.

Hier ist eine gescannte Kopie .

— Yuval Filmus
quelle

Nett. Sind das Ausdrucke? Bieten sie eine PDF-Version an?

— Mohammad Al-Turkistany

Ausdrucke. Aber vielleicht scannen sie sie bei Bedarf. Ich kann wahrscheinlich eine physische Kopie selbst bekommen, obwohl ich nicht alles selbst scannen werde ...

— Yuval Filmus

Vielen Dank Yuval. Ich hoffe, jemand hat eine gescannte Kopie (wenn man bedenkt, dass dies eine der Grundreferenzen der Komplexitätstheorie ist).

— Kaveh

@Kaveh: Ist es eine der Gründungsreferenzen? Ich habe es noch nie zitiert gesehen ... Ich habe einen Scan von Rabins "Mathematischer Theorie der Automaten", einem der drei Artikel, die oft zitiert werden, weil sie den Begriff P eingeführt haben (und den ich daher für grundlegend halte). Lass es mich wissen, wenn es dir gefällt.

— Joshua Grochow

@Josh, ich habe gesehen, wie es zusammen mit Cobham's und Edmonds's und Hartmanis und Stearns's als erste Artikel zitiert wurde, die über das sprechen, was jetzt als rechnerische Komplexitätstheorie bezeichnet wird. Zum Glück hat Steve eine Kopie von Rabins These, er sagte, er werde sie scannen und online stellen.

— Kaveh