/ en / Traditional / help

Beats Biblionetz - Texte

Wahrheit, Beweis und Erkenntnis

Roger Penrose
Zu finden in: Computerdenken (Seite 96 bis 144), 1989  local 
Diese Seite wurde seit 21 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

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

iconBeat und dieser Text

Beat hat Dieser Text während seiner Assistenzzeit an der ETH Zürich ins Biblionetz aufgenommen. Nach Abschluss seiner Dissertation hat Beat Dieser Text nicht mehr 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.