Logo Prof. Dr. Dirk W. Hoffmann
Cover Cover Cover Cover Cover Cover Cover Cover

Lösungen zu den Übungsaufgaben


Alle Lösungen in einer Datei[ pdf ]

Perlen im WWW


Jörg Resag: Die Grenzen der Berechenbarkeit[ htm ]
Karlis Podnieks: Introduction to Mathematical Logic[ htm ]
Mehr über Kurt Gödel (von Peter Smith)[ htm ]
Mehr über Alan Turing (von Andrew Hodges)[ htm ]
WolframAlpha[ htm ]

Literatur-Tipps



Cover
Peter Smith:
An Introduction to Gödel's Theorems
Cambridge University Press, 2013
Cover
Charles Petzold:
The Annotated Turing
John Wiley & Sons, 2008
Cover
Torkel Franzen
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
A K Peters, 2005
Cover
Robert S. Wolf
A Tour through Mathematical Logic
The Mathematical Association of America, 2010
Cover
Elliott Mendelson
Introduction to Mathematical Logic
Chapman & Hall, 2009
Cover
Peter Schmitt
Skriptum zur Vorlesung Formale Systeme
Karlsruher Institut für Technologie
Cover
Oliver Deiser
Einführung in die Mengenlehre
Springer, 2009
Cover
Douglas Hofstadter
Gödel, Escher, Bach. Ein Endloses Geflochtenes Band
Klett-Cotta, 2008
Cover
Andrew Hodges
Alan Turing, Enigma
Springer, 1995
Cover
John W. Dawson
Das logische Dilemma. Leben und Werk von Kurt Gödel
Springer, 1999
Cover
Stephen Wolfram
A New Kind of Science
Wolfram Media Inc., 2002
Cover
Markus Reichhalter
Cantor - Frege - Zermelo
VDM Verlag, 2010
Cover
Jean van Heijenoort
From Frege to Gödel
Harvard University Press, 2002
Cover
Thomas Bedürftig, R. Murawski
Philosophie der Mathematik
De Gruyter, 2010