Bewertung von weserus	10987654321Keine Wertung
Kommentar	Zeilenumbrüche automatisch
Kurt Gödel hat mit mathematischen Methoden bewiesen, dass die Mathematik selbst Grenzen hat und widerlegte damit die Auffassung von David Hilbert. Ernest Nagel und James R. Newmann legen dies in mehreren Kapiteln für Nichtfachleute dar und behandeln das Problem der Widerspruchsfreiheit,das Problem der absoluten Beweise der Widerspruchsfreiheit, die systematische Zusammenstellung der formalen Logik, ein Beispiel eines erfolgreichen absoluten Beweises der Widerspruchsfreiheit, die Idee der Abbildung und ihre Anwendung in der Mathematik und den Gödelschen Beweis. Das Buch ist ein Klassiker und mit Sicherheit nicht nur deshalb zu empfehlen.

Ich möchte eine Mail an , nachdem mein Vorschlag bearbeitet ist.   Nachricht zur Änderung:

Input assistance tools (JavaScript): [Link extern intern] [MathML?] [$$?] [fed-area] [LaTeX-inline] [LaTeX-display] [Tikz] [hide-area][show-area] [Source code [num.]][?] [Link zurück zum Kommentar zur Buchbesprechung]