/ en / Traditional / help

Beats Biblionetz - Texte

Manchmal können wir es nicht

Zu finden in: Das Affenpuzzle (Seite 27 bis 56), 2000  local 
Diese Seite wurde seit 21 Jahren inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

iconZusammenfassungen

David HarelDie Aussage dieses Kapitels ist einfach und klar. Computer sind nicht allmächtig. Sie können nicht alles. Bei weitem nicht.
Von David Harel im Buch Das Affenpuzzle (2000) im Text Manchmal können wir es nicht auf Seite  27

iconDieser Text erwähnt ...


Personen
KB IB clear
Alonzo Church, Kurt Gödel, Alan Turing

Aussagen
KB IB clear
Es gibt nichtberechenbare mathematische Probleme.

Begriffe
KB IB clear
Algorithmusalgorithm, BerechenbarkeitComputability, Church-Turing-These, Computercomputer, Effizienz, Gehirnbrain, Gödelsches Theorem, Halteproblem, Informatikcomputer science, Lambda-Kalkül, Mathematikmathematics, Programmiersprachenprogramming languages, Rekursionrecursion, Simulation, Softwaresoftware, Symbolmanipulation, Turing-Maschineturing machine, Unentscheidbarkeitundecideability, Verifikation, Wissen
icon
Bücher
Jahr  Umschlag Titel Abrufe IBOBKBLB
2021 local  Ideas That Created the Future (Harry Lewis) 2, 15, 1, 4, 5, 1, 2, 2, 4, 9, 32, 7293847256
icon
Texte
Jahr  Umschlag Titel Abrufe IBOBKBLB
1931 local web  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Kurt Gödel) 14, 13, 2, 7, 13, 2, 5, 2, 6, 2, 4, 10243106488
1936 On Computable Numbers, with an Application to the Entscheidungsproblem (Alan Turing) 3, 8, 1, 4, 7, 4, 3, 3, 8, 6, 6, 649362608

iconDieser Text erwähnt vermutlich nicht ... Eine statistisch erstelle Liste von nicht erwähnten (oder zumindest nicht erfassten) Begriffen, die aufgrund der erwähnten Begriffe eine hohe Wahrscheinlichkeit aufweisen, erwähnt zu werden.

iconTagcloud

iconZitationsgraph

Diese Grafik ist nur im SVG-Format verfügbar. Dieses Format wird vom verwendeteten Browser offenbar nicht unterstützt.

Diese Grafik fensterfüllend anzeigen (SVG)

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 dieser Text

Beat hat Dieser Text während seiner Assistenzzeit an der ETH Zürich ins Biblionetz aufgenommen. Er hat Dieser Text während seiner Assistenzzeit an der ETH Zürich zum letzten Mal bearbeitet. Beat besitzt weder ein physisches noch ein digitales Exemplar. Es gibt bisher 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.