/ en / Traditional / mobile

Beats Biblionetz - Texte

Wahrheit, Beweis und Erkenntnis

Roger Penrose
Zu finden in: Computerdenken (Seite 96 bis 144), 1989    
Diese Seite wurde seit 14 Jahren inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

iconDieser Text erwähnt...


Personen
KB IB clear 		Frege, David Hilbert, Bertrand Russell, Alfred North Whitehead

Fragen
KB IB clear 		P=NP ?

Begriffe
KB IB clear 		Algorithmusalgorithm, BerechenbarkeitComputability, Erkennen, Gödelsches Theorem, Halteproblem, Komplexitätcomplexity, Komplexitätstheorie, Mathematikmathematics, Traveling Salesman ProblemTraveling Salesman Problem, Turing-Maschineturing machine, Unentscheidbarkeitundecideability, Wahrheittruth, Zahlennumber

iconDieser Text erwähnt 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
Church-Turing-These, Lambda-Kalkül, NP-complete

iconTagcloud

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

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.