/ en / Traditional / mobile

Beats Biblionetz - Texte

Manchmal können wir es nicht

Zu finden in: Das Affenpuzzle (Seite 27 bis 56), 2000  
Diese Seite wurde seit 16 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
Texte
Jahr UmschlagTitelAbrufeIBOBKBLB
1931    Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Kurt Gödel) 6, 5, 4, 3, 5, 3, 2, 1, 3, 3, 1, 723376062
1936On Computable Numbers, with an Application to the Entscheidungsproblem (Alan Turing) 6, 1, 10, 8, 5, 5, 4, 3, 1, 2, 2, 736372220

iconTagcloud

iconZitationsgraph

Diese Grafik fensterfüllend anzeigen als Pixelgrafik (PNG) Vektorgrafik (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.

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.