Beats Biblionetz - Begriffe

Church-Turing-These

Diese Seite wurde seit 1 Jahr inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

iconDefinitionen

Raimond ReichertJürg NievergeltWerner HartmannDie Church-Turing-These besagt, dass jede Funktion, die intuitiv "berechenbar" ist, auch mit einer Turing- Maschine berechnet werden kann.
von Raimond Reichert, Jürg Nievergelt, Werner Hartmann im Buch Programmieren mit Kara (2003) im Text TuringKara auf Seite 73
David HarelJedes algorithmische Problem, das in irgendeiner Programmiersprache programmiert und auf irgendeinem dafür geeigneten Computer ausgeführt werden werden (sogar auf Computern, die noch nicht gebaut sind, aber prinzipiell gebaut werden könnten), und selbst wenn es unbeschränkt viel Zeit und Speicherplatz für immer grössere Eingaben benötigt - jedes solche Programm ist auch durch eine Turing-Maschine lösbar.
von David Harel im Buch Das Affenpuzzle (2000) im Text Manchmal können wir es nicht auf Seite 39
Rolf PfeiferChristian ScheierSeveral versions of the thesis appear in the literature, some stronger, some weaker. It can be broken down into two parts: first, that a problem that cannot be solved through any theoretical means of computatinn that is, a Turing machine, cannot be solved by human thought either; second, that if humans can solve a problem or engage in some intelligent activity, then machines can ultimately be constructed to perform in the same way.
von Rolf Pfeifer, Christian Scheier im Buch Understanding Intelligence (1999) im Text Foundations of Classical Artificial Intelligence and Cognitive Science auf Seite 41
Douglas HofstadterChurch-Turing-These, öffentliche Version: Angenommen, es gibt eine Methode, die ein vernunftbegabtes Wesen anwendet, um Zahlen in zwei Klassen zu sortieren. Weiter sei angenommen, daß diese Methode in einer endlichen Zeitspanne immer eine Antwort liefert. Bedingung: Angenommen wird außerdem, daß diese Methode zuverlässig von einem vernunftbegabten Wesen einem anderen vermittels der Sprache mitgeteilt werden kann. Dann existiert ein endliches FlooP-Programm (d. h. eine allgemein rekursive Funktion), das genau die gleichen Antworten gibt wie die Methode des vernunftbegabten Wesens.
von Douglas Hofstadter im Buch Gödel, Escher, Bach (1979) im Text Church, Turing, Tarski und andere auf Seite 599

iconBemerkungen

Douglas HofstadterDie Church-Turing-These ist sicher eines der wichtigsten Konzepte in der Philosophie der Mathematik, des Gehirns und des Denkens.
von Douglas Hofstadter im Buch Gödel, Escher, Bach (1979) im Text Church, Turing, Tarski und andere auf Seite 598
Roger PenroseIch persönlich bin durchaus bereit, die ursprüngliche mathematische Form der Church-Turing-These zu akzeptieren. Hingegen ist ihre Beziehung zum Verhalten realer physikalischer Systeme ein anderes Thema, das uns in diesem Buch später noch intensiv beschäftigen wird.
von Roger Penrose im Buch Computerdenken (1989) im Text Algorithmen und Turing-Maschinen auf Seite 47
Roger PenroseHeutzutage sind Computer mit hohen Rechengeschwindigkeiten so alltäglich, daß anscheinend kaum jemand diese These in ihrer ursprünglichen Form anzweifeln mag. Das Interesse hat sich eher der Frage zugewandt, ob physikalische - das heißt exakten physikalischen Gesetzen gehorchende - Systeme (zu denen das menschliche Gehirn vermutlich gehört) bei der Ausführang logischer und mathematischer Operationen einer Turing-Maschine überlegen, unterlegen oder genau gleichwertig sind.
von Roger Penrose im Buch Computerdenken (1989) im Text Algorithmen und Turing-Maschinen auf Seite 47

iconVerwandte Objekte

icon
Verwandte Begriffe
(Cozitation)		Lambda-Kalkül, Halteproblem, allgemein rekursiv, Berechenbarkeit, Turing-Maschine

iconHäufig co-zitierte Personen

Alan Turing Alan
Turing
Alonzo Church Alonzo
Church
Kurt Gödel Kurt
Gödel
Richard Feynmann Richard
Feynmann
Alan Newell Alan
Newell
David Hilbert David
Hilbert

iconStatistisches Begriffsnetz Dies ist eine graphische Darstellung derjenigen Begriffe, die häufig gleichzeitig mit dem Hauptbegriff erwähnt werden (Cozitation).

Diese Grafik durch interaktives JavaApplet ersetzen
Diese Grafik durch statische Grafik ersetzen
Diese Grafik fensterfüllend anzeigen als Pixelgrafik (PNG) Vektorgrafik (SVG)

iconZitationsgraph

Diese Grafik durch statische Grafik ersetzen
Diese Grafik fensterfüllend anzeigen als Pixelgrafik (PNG) Vektorgrafik (SVG)

iconErwähnungen Dies ist eine nach Erscheinungsjahr geordnete Liste aller im Biblionetz vorhandenen Werke, die das ausgewählte Thema behandeln.

Kommentare von BesucherInnen  Hier können auch Sie Ihren Kommentar anbringen!

iconAnderswo finden

URL:          
Titel:        
Beschreibung:

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.

Suchen im Biblionetz mit Google
Google Scholar
Amazon.de
Zentrales Verzeichnis antiquarischer Bücher
  

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.

Verweise auf Church-Turing-These 339223683452
Webzugriffe auf Church-Turing-These 71113122144493637424238304641344695383926222033232335323046323225182123151917382621171616227233037234118141561211974718121015541014121413109141611121614171411136781581115169921111106101410412688157514110422178463
200120022003200420052006200720082009201020112012

iconFalls Ihnen diese Seite gefallen hat:

RSS-Feed (2.0) über Neueinträge und Updates dieser Seite RSS-Feed dieser Seite

RSS-Feed (2.0) über Neueinträge und Updates des Biblionetzes RSS-Feed ganzes Biblionetz

iconWebtechnisches

Valid HTML 4.01! Valid CSS!

Inbound:              000028

Besucher(10.12):      000003 *

Besucher Total :      002568 *

Erster Eintrag:  03.09.2001

Letzter Eintrag: 03.03.2011

HTML-File:       04.11.2012

(c) beat.doebe.li 1996-2012   Dies ist eine Seite aus Beats Biblionetz (http://beat.doebe.li/bibliothek/)

Mail: bibliothekar@doebe.li   Die offizielle und stabile Adresse lautet

Beats Biblionetz ist Teilnehmer des Partnerprogramms von Amazon Europe S.à.r.l.

*(ohne Suchmaschinen und ohne Proxy-Verluste) / This webpage may include a Java Applet from TouchGraph LLC (http://www.touchgraph.com/)