/ en / Traditional / help

Beats Biblionetz - Texte

Churchsche These

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

iconZusammenfassungen

A. K. Dewdney

Im Jahr 1936 formulierte der amerikanische Logiker Alonzo Church einen allgemeinen Satz, der genau ausdrückt, was Berechnung bedeutet. Church hatte lange Zeit mit diesem Begriff gekämpft, den er effektive Berechenbarkeit nannte. Darunter sollte man jeden Prozeß oder jede Prozedur verstehen, die schrittweise nach wohldefinierten Regeln ausgeführt werden. Church glaubte, daß er den Begriff mittels eines formalen Systems, das λ-Kalkül genannt wird, eingefangen hatte. Genau formuliert behauptet sein Satz, daß alles, was man zu Recht als effektiv berechenbar bezeichnen kann, innerhalb des λ-Kalküls ausgedrückt werden kann.

Von A. K. Dewdney im Buch The New Turing Omnibus (2001) im Text Churchsche These

iconDieses Kapitel erwähnt ...


Begriffe
KB IB clear
Halteproblem

iconAnderswo finden

icon

iconVolltext dieses Dokuments

Auf dem WWW Churchsche These: Artikel als Volltext bei Springerlink (lokal: PDF, 1009 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. 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.