/ 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 15 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) 3, 3, 3, 2, 2, 1, 3, 3, 3, 1, 2, 622366025
1936On Computable Numbers, with an Application to the Entscheidungsproblem (Alan Turing) 2, 3, 3, 2, 4, 1, 3, 3, 2, 2, 2, 635362172

iconTagcloud

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

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.

Verweise auf diesen Text 1
Verweise von diesem Text 198
Webzugriffe auf diesen Text 
2002200320042005200620072008200920102011201220132014201520162017