MENÜ MENÜ  

cover

Beweisbarkeitslogik

Gödel, Rosser, Solovay

Logische Philosophie, Bd. 15

Christopher von Bülow

ISBN 978-3-8325-1295-8
312 pages, year of publication: 2006
price: 29.00 €
Kurt Gödel erschütterte 1931 die mathematische Welt mit seinem Unvollständigkeitssatz. Gödel zeigte, wie für jedes noch so starke formale System der Arithmetik ein Satz konstruiert werden kann, der besagt: "Ich bin nicht beweisbar." Würde das System diesen Satz beweisen, so würde es sich damit selbst Lügen strafen. Also ist dies ein wahrer Satz, den es nicht beweisen kann: Es ist unvollständig. John Barkley Rosser verstärkte später Gödels Ergebnisse, wobei er die Reihenfolge miteinbezog, in der Sätze bewiesen werden, gegeben irgendeine Auffassung von "Beweis". In der Beweisbarkeitslogik werden die formalen Eigenschaften der Begriffe "beweisbar" und "wird früher bewiesen als" mit modallogischen Mitteln untersucht: Man liest den notwendig-Operator als beweisbar und gibt formale Systeme an, die die Modallogik der Beweisbarkeit erfassen.

Diese Arbeit richtet sich sowohl an Logik-Experten wie an durchschnittlich vorgebildete Leser. Ihr Ziel ist es, in die Beweisbarkeitslogik einzuführen und deren wesentliche Resultate, insbesondere die Solovayschen Vollständigkeitssätze, präzise, aber leicht zugänglich zu präsentieren.

Keywords:
  • Beweisbarkeitslogik (provability logic)
  • Rosserscher Unvollständigkeitssatz
  • Barkley Rosser
  • Solovaysche Vollständigkeitssätze
  • Robert M. Solovay

Buying Options

29.00 €