Der Gödelsche Beweis
- ISBN-10
- 3486452177
- ISBN-13
- 9783486452174
- Pages
- 110
- Language
- German
- Published
- 2003
- Publisher
- Walter de Gruyter
- Authors
- Ernest Nagel, James R. Newman
Description
Spätestens seit Douglas R. Hofstadters "Gödel, Escher, Bach" ist der Name Gödel auch bei Nichtmathematikern bekannt geworden. 1931 hatte Kurt Gödel unter dem Titel "Über formal unterscheidbare Sätze der Principia Mathematica und verwandter Systeme" seinen Unvollständigkeitssatz publiziert. Nagel und Newman haben das Wesentliche an Gödels Ergebnissen für Nichtfachleute dargestellt. Die vorliegende 7. Auflage ist ein unveränderter Nachdruck der längst klassisch gewordenen Ausgabe von 1958. Copyright © Libri GmbH. All rights reserved.
Get the book
Other editions
Similar books
-
Der Gödelsche Beweis
By Ernest Nagel, James R. NewmanDer Gödelsche Beweis
-
Die Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis
By Dirk W. HoffmannDr. Matthias Homeister, FH Brandenburg Der Autor Prof. Dr. Dirk W. Hoffmann ist Dozent an der Fakultät für Informatik und Wirtschaftsinformatik der Hochschule Karlsruhe – Technik und Wirtschaft.
-
Gödel's Theorem in Focus
By Stuart ShankerNicht der Gödel'sche Beweis interessiert mich, sondern die Möglichkeiten, auf die Gödel durch seine Diskussion uns aufmerksam macht. Der Gödel'sche Beweis entwickelt eine Schwierigkeit, die auch in viel elementarerer Weise erscheinen ...
-
Godel's Theorem in Focus
By S.G. ShankerNicht der Gödel'sche Beweis interessiert mich , sondern die Möglichkeiten , auf die Gödel durch seine Diskussion uns aufmerksam macht . Der Gödel'sche Beweis entwickelt eine Schwierigkeit , die auch in viel elementarerer Weise ...
-
Morality within the Life- and Social World: Interdisciplinary Phenomenology of the Authentic Life in the “Moral Sense”
By Anna-Teresa TymienieckaD. R. Hofstadter7 kommentiert das Ergebnis der Gödelschen Arbeit wie folgt: “Während die Aussage des Epimenides eine ... Gödels Beweis galt für jedes axiomatische System, das den Anspruch erhob, die Ziele zu erreichen, die Russell und ...
-
Ernst Zermelo - Collected Works/Gesammelte Werke: Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia
By Ernst ZermeloHowever, his papers include also pioneering work in applied mathematics and mathematical physics. This edition of his collected papers will consist of two volumes.
-
Phenomenology on Kant, German Idealism, Hermeneutics and Logic: Philosophical Essays in Honor of Thomas M. Seebohm
By O.K. Wiegand, Robert J. Dostal, Lester EmbreePhilosophical Essays in Honor of Thomas M. Seebohm O.K. Wiegand, Robert J. Dostal, Lester Embree, J.J. Kockelmans, J.N. Mohanty. –. (1982). ... Prolegomena to the Study of Hegel's Philosophy and Especially of His Logic. 2nd ed.
-
Kurt Gödel und die mathematische Logik
Viele Leute glauben seither, der Gödelsche Beweis (wie er allseits liebevoll genannt wird) sei einer der schwersten Beweise in der Mathematik. Davon kann jedoch überhaupt keine Rede sein. Andre Wiles Beweis des "großen Fermat" ist ...
-
Argumentation: Approaches to theory formation. Containing the contributions to the Groningen Conference on the Theory of Argumentation, October 1978
By E.M. Barth, J.L. MartensDer Gödelsche Beweis liefert, unvoreingenommen betrachtet, nichts über "alle" arithmetischen Aussagen, sondern er geht von der Nicht—Ableitbarkeit einer Formel aus. Im Beth—Kalkül ist das die Nicht—Abschliessbarkeit einer Stellung B|A ...
-
Hilbert's Programs and Beyond
By Wilfried SiegAlso involviert der Gödelsche Beweis die Unmöglichkeit eines Widerspruchsbeweises überhaupt.” Gödel bemerkt dazu, dass es fraglich sei “ob die Gesamtheit aller intuitionistisch einwandfreien Beweise in einem formalen System Platz findet ...