/ en / Traditional / help

Beats Biblionetz - Texte

Das Halteproblem

Zu finden in: The New Turing Omnibus (Seite 422 bis 426), 2001  local web 
Erste Seite des Textes (PDF-Thumbnail)
Diese Seite wurde seit 3 Jahren inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

iconZusammenfassungen

A. K. Dewdney

Das Konzept der Turing-Maschine ist eine von vielen äquivalenten Formulierungen dessen, was wir unter „effektive Prozedur“ oder „Berechnung“ verstehen. Es konnte nichts mächtigeres als eine Turing-Maschine gefunden werden, das die Bedeutung derartiger Begriffe besser auf sich vereinigt (vgl. Kapitel 17). Und trotzdem gibt es Grenzen für die Mächtigkeit von Turing-Maschinen, Probleme, welche die Turing-Maschine nicht lösen kann. Diese Probleme gleichen denen, für die es keine effektive Prozedur oder rekursive Berechnung gibt. Tatsächlich kann man ein Turing-unlösbares Problem in ein Problem umformulieren, das in jedem der äquivalenten formalen Systeme unlösbar ist.

Von A. K. Dewdney im Buch The New Turing Omnibus (2001) im Text Das Halteproblem

iconDieses Kapitel erwähnt ...


Personen
KB IB clear
Douglas Hofstadter

Begriffe
KB IB clear
Halteproblem , Turing-Maschineturing machine
icon
Bücher
Jahr  Umschlag Titel Abrufe IBOBKBLB
1979  local  Gödel, Escher, Bach (Douglas Hofstadter) 5, 12, 3, 7, 3, 6, 6, 3, 11, 22, 6, 6 91168616495

iconTagcloud

iconAnderswo finden

icon

iconVolltext dieses Dokuments

Auf dem WWW Das Halteproblem: Artikel als Volltext bei Springerlink (lokal: PDF, 506 kByte; WWW: Link OK )

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.