Beweisbarkeitslogik
-- Godel, Rosser, Solovay --
by Christopher von Bulow
Paperback (Published)
(August 2006)
ISBN: 9783832512958
6.65 x 9.49 inches
Price: $31.00
On back order
Kurt Godel erschutterte 1931 die mathematische Welt mit seinem Unvollstandigkeitssatz. Godel zeigte, wie fur jedes noch so starke formale System der Arithmetik ein Satz konstruiert werden kann, der besagt: “Ich bin nicht beweisbar.” Wurde das System diesen Satz beweisen, so wurde es sich damit selbst Lugen strafen. Also ist dies ein wahrer Satz, den es nicht beweisen kann: Es ist unvollstandig. John Barkley Rosser verstarkte spater Godels Ergebnisse, wobei er die Reihenfolge miteinbezog, in der Satze bewiesen werden, gegeben irgendeine Auffassung von “Beweis”. In der Beweisbarkeitslogik werden die formalen Eigenschaften der Begriffe “beweisbar” und “wird fruher 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 einzufuhren und deren wesentliche Resultate, insbesondere die Solovayschen Vollstandigkeitssatze, prazise, aber leicht zuganglich zu prasentieren.
- By (author) Christopher von Bulow
Other Titles in this Series
Kausale Relata
Eine Untersuchung zur Wechselbeziehung zwischen der Beschaffenheit kausaler Relata und der Natur der Kausalbeziehung
Volume 23
Similar Books
Drunk the Potion, No Whit Charmed
The Doctrine of Pure and Perfect Souls from Iamblichus to Damascius
Éthique, politique, religions
Superstition (XVIIe - XXIe siècles). Sémantique, histoires et cultures
La Lettre clandestine
La littérature philosophique clandestine, ses éditeurs et ses éditions
Volume 34
Libertinage et philosophie à l’époque classique (XVIe-XVIIIe siècle)
Athéisme, Modernité et Sécularisation / Atheism, Modernity and Secularization
Volume 23
Political Thought and Eleventh-Century Populism
The Meek, the Many, and the Meritorious during the Age of the Gregorian Reform
Volume 38
The Latin Hermes in Translation
Asclepius, Glosses on Trismegistus, Book of Six Principles of Things, Book of 24 Philosophers
Volume 50
![Book cover: Transitive Media [Philosophy]](https://isd.stisonbooks.com/images/books/native/9781804132326.jpg?asset_id=66970)
‘Emergente Evolution’?
Fallstudien zur philosophischen Rekonstruktion und schopfungstheologischen Rezeption eines naturalistischen Paradigmas
Volume 40
Al-Ğābirīs Genese und Kritik der Arabischen Vernunft
On Genesis and Critique of Arab Reason by Muḥammed ʿĀbid al-Ğābirī
Geschichte der Ästhetik und Kunsttheorie
Band 1: Von der Antike bis zum 19. Jahrhundert. 2. aktualisierte Auflage
