Zusammenfassung
Vor Kurzem stieß ich im Internet auf einen Artikel mit der Überschrift „Computer beweist die Existenz Gottes“. Man muss kein Atheist sein, um bei dieser Aussage misstrauisch zu werden und zu seufzen: „O, Gott, schon wieder so ein Unsinn – und natürlich darf heutzutage der Computer bei so etwas nicht fehlen.“ Ein Blick auf die Zusammenfassung belehrte mich aber schon eines Besseren, da hieß es: „Wissenschaftler aus Berlin und Wien haben Kurt Gödel s berühmten Gottesbeweis mit dem Computerprogramm bestätigt.“ Es wurde mir nun klar, dass hier mit „Beweis“ eine Beweisführung gemeint war, und in der Tat ging es um automatische Beweise von Theoremen in der Mathematik, allgemeiner um computerunterstützte Beweise in formalen Sprachen. Als Demonstration für diese Technik, auch „automatisches Theorembeweisen“ genannt, hatten sich zwei Logiker nun den Gödel’schen Gottesbeweis herausgesucht.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Honerkamp, J. (2015). Denkgebäude – von „Geschichten“ unterschiedlicher Art. In: Wissenschaft und Weltbilder. Springer Spektrum, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-43954-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-662-43954-8_9
Published:
Publisher Name: Springer Spektrum, Berlin, Heidelberg
Print ISBN: 978-3-662-43953-1
Online ISBN: 978-3-662-43954-8
eBook Packages: Life Science and Basic Disciplines (German Language)