/ en / Traditional / help

Beats Biblionetz - Texte

Orakel

Lothar Michael Putzmann
Zu finden in: Code und Material (Seite 116 bis 125), 2010 local web 
Erste Seite des Textes (PDF-Thumbnail)
Diese Seite wurde seit 7 Jahren inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

iconZusammenfassungen

Code und Material

Berechenbarkeit ist Ressourcen-und Logik -relativ. [COPELAND/SYLVAN 1999, 2000] - Orthodoxe prinzipielle Berechenbarkeitstheorie/Rekursionstheorie abstrahiert von Ressourcen an Raum und Zeit und ist mit formalen Limitationstheoremen konfrontiert. Praktische Berechenbarkeit andererseits bedeutet die Strukturprobleme der Komplexitätsklassen; eine Widerspenstigkeit des 'Materials' mit einem Pandämonium an Effekten. - Das Verhältnis der beiden ist nicht trivial. TURING selbst formalisierte in SYSTEMS OF LOGIC BASED ON ORDINALS relative Berechenbarkeit als Orakel-Turingmaschinen. [TURING 1939:172-173] - Für zwei Mengen A, B â„•, heißt A Turing-reduzierbar auf B, A ≤ T B, wenn es eine Orakelmaschine mit dem Orakel B gibt, welche die charakteristische Funktion von A berechnet.

Von Lothar Michael Putzmann im Buch Code und Material (2010) im Text Orakel

iconDieses Kapitel erwähnt ...

iconAnderswo finden

icon

iconVolltext dieses Dokuments

Auf dem WWW Orakel: Artikel als Volltext bei Springerlink (lokal: PDF, 322 kByte; WWW: Link OK 2020-11-28)

iconAnderswo suchen  Auch im Biblionetz finden Sie nicht alles. Aus diesem Grund bietet das Biblionetz bereits ausgefüllte Suchformulare für verschiedene Suchdienste an. Biblionetztreffer werden dabei ausgeschlossen.

iconBeat und dieses Kapitel

Beat hat Dieses Kapitel während seiner Zeit am Institut für Medien und Schule (IMS) ins Biblionetz aufgenommen. Er hat Dieses Kapitel einmalig erfasst und bisher nicht mehr bearbeitet. Beat besitzt kein physisches, aber ein digitales Exemplar. Eine digitale Version ist auf dem Internet verfügbar (s.o.). Aufgrund der wenigen Einträge im Biblionetz scheint er es nicht wirklich gelesen zu haben. Es gibt bisher auch nur wenige Objekte im Biblionetz, die dieses Werk zitieren.

iconBiblionetz-History Dies ist eine graphische Darstellung, wann wie viele Verweise von und zu diesem Objekt ins Biblionetz eingetragen wurden und wie oft die Seite abgerufen wurde.