Merkzettel Warenkorb
  • Produktbild: Die Gödel'schen Unvollständigkeitssätze
  • Produktbild: Die Gödel'schen Unvollständigkeitssätze

Die Gödel'schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis

44,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.08.2012

Abbildungen

mit 66 Abbildungen, schwarz-weiss Illustrationen

Verlag

Spektrum der Wissenschaft

Seitenzahl

368

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

564 g

Auflage

2013

Sprache

Deutsch

ISBN

978-3-8274-2999-5

Beschreibung

Zitat

...eine didaktisch sehr gut gemachte Darstellung.es wird ein Minimum an Vorwissen vorausgesetztProf. Dr. Matthias Homeister, FH Brandenburg

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.08.2012

Abbildungen

mit 66 Abbildungen, schwarz-weiss Illustrationen

Verlag

Spektrum der Wissenschaft

Seitenzahl

368

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

564 g

Auflage

2013

Sprache

Deutsch

ISBN

978-3-8274-2999-5

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel findest du in
  • Produktbild: Die Gödel'schen Unvollständigkeitssätze
  • Produktbild: Die Gödel'schen Unvollständigkeitssätze
  • 1 Einleitung.- 1.1 Die axiomatische Methode .- 1.2 Formale Systeme.- 1.3 Metamathematik .- 1.4 Die Unvollständigkeitssätze .- 1.5 Die Gödel’sche Arbeit.- 2 Die formalen Grundlagen der Mathematik.- 2.1 Das logizistische Programm.- 2.2 Die natürlichen Zahlen.- 2.3 Principia Mathematica.- 2.4 Axiomatische Mengenlehre.- 3 Beweisskizze.- 3.1 Arithmetische Formeln.- 3.2 Arithmetisierung der Syntax.- 3.3 Ich bin unbeweisbar!- 3.4 Gödel, Richard und der Lügner.- 4 System P.- 4.1 Syntax.- 4.2 Semantik.- 4.3 Axiome und Schlussregeln.- 4.4 Formale Beweise.- 4.5 Arithmetisierung der Syntax.- 5 Primitiv-rekursive Funktionen.- 5.1 Definition und Eigenschaften.- 5.2 Auswahl primitiv-rekursiver Funktionen und Relationen.- 5.3 Entscheidungsverfahren.- 5.4 Satz V.- 6 Die Grenzen der Mathematik.- 6.1 Gödels Hauptresultat.- 6.2 Der erste Unvollständigkeitssatz.- 6.3 Der zweite Unvollständigkeitssatz.- Literaturverzeichnis.- Bildnachweis.- Lebensdaten.- Namensverzeichnis.- Sachwortverzeichnis.