/ en / Traditional / help

Beats Biblionetz - Texte

Manchmal können wir es nicht

David Harel
Zu finden in: Das Affenpuzzle (Seite 27 bis 56), 2000  local 
Diese Seite wurde seit 22 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, 2, 4, 9, 32, 7, 16, 4, 5, 3, 16, 2 306562302
icon
Texte
Jahr  Umschlag Titel Abrufe IBOBKBLB
1931 local web  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Kurt Gödel) 2, 5, 2, 6, 2, 4, 10, 8, 4, 1, 5, 3 25336509
1936 On Computable Numbers, with an Application to the Entscheidungsproblem (Alan Turing) 4, 3, 3, 8, 6, 6, 6, 12, 3, 3, 6, 2 51322634

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.

icon
Nicht erwähnte Begriffe
blockbasierte Programmierumgebungen, Informatik-Didaktik, Informatik-Unterricht (Fachinformatik), Wissensmanagement

iconTagcloud

iconZitationsgraph

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

Diese SVG-Grafik fensterfüllend anzeigen

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
Google
Amazon

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.