Beweisbarkeitslogik

-- Godel, Rosser, Solovay --

by Christopher von Bulow

Extent: 312 pages

Publisher: Logos Verlag Berlin

Subjects: Philosophy

Series: Logische Philosophie

Series volume number: 15

Language: German

(Paperback) (Published)

(August 2006)

ISBN: 9783832512958

6.65 x 9.45 inches

Price: $31.00

Out of stock

Add to cart -
back order

Synopsis
Contributing Authors

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

Judgements and Propositions

Logical, Linguistic, and Cognitive Issues

Volume 21

Edited by Sebastian Bab Edited by Klaus Robering Contributions by Sebastian Bab Contributions by Hans-Martin…

First-Order Logic Revisited

Volume 12

Edited by Vincent Hendricks Edited by Fabian Neuhaus Edited by Stig Andur Pedersen Edited by…

Conceptual Systems

Volume 13

By (author) Pavel Materna

Logik

Volume 2

by Horst Wessel

Logik und Philosophie

Volume 4

by Horst Wessel

Zur Bedeutung und Übersetzung mathematischer Theorien

Volume 24

By (author) Mirko Engler

Kausale Relata

Eine Untersuchung zur Wechselbeziehung zwischen der Beschaffenheit kausaler Relata und der Natur der Kausalbeziehung

Volume 23

By (author) Christof Dobiess

Reference and Indexicality

Volume 17

By (author) Erich Herrmann Rast

Similar Books

Bias and the Middle Way

How to stop Absolutizing our Conditioned Assumptions

By (author) Robert M. Ellis

Chuck, Appearance and Reality

Everyday Philosophy in a TV Spy Comedy

By (author) Kelly Dean Jolley

Defining Comedy

Reflections on the Usual Suspects

By (author) David Ellis

Fifty Years of Insight

Bernard Lonergan's Contribution to Theology and Philosophy

edited by Neil Ormerod, Robin Koning and David Braithwaite

On Human Ambiguity

Writings on Religion and Subjectivity

By (author) Arne Grøn Edited by William Mathorne Edited by Bjarke Mørkøre Stigel Hansen

Sextus Empiricus on Fallacies and Expert Knowledge

by Johanna Helene Schmitt

Speculative Cartographies

Material Ecopoetics and Weird Mappings

Volume 9

By (author) Grzegorz Czemiel

Theologia modernorum

Research on Robert Holcot's Theological Questions

Volume 9

Edited by Pascale Bermon Edited by Christophe Grellard Edited by Pascale Bermon

Transitive Media [Philosophy]

Think(er)ing Technologies in Real-Time

By (author) Wolfgang Ernst

Das unersetzbare Selbst

Der Mensch im Zeitalter der Kunstlichen Intelligenz

by Emil Angehrn

Hermeneutisches Wissen

Essays nach Gadamer

By (author) Tobias Keiling

Jan Schröder: Recht als Wissenschaft

Ein Kommentar

Edited by Marietta Auer Edited by Ralf Seinecke Edited by Stefan Vogenauer

Natürliche Theologie

Beiträge zu ihrer Problemgeschichte und zur Frage ihrer gegenwärtigen Relevanz

Edited by Markus Höfner Edited by Matthias D. Wüthrich

Seiltanzer

Reflexionen uber eine Daseinsmetapher

by Gunnar Schmidt

Sitten zwischen Moralphilosophie und Politischer Okonomie am Ende des 18. Jahrhunderts

Mit einer zweisprachigen Edition von Ludwig Heinrich Jakobs Preisschrift Quelles sont les institutions les plus propres a fonder la morale d'un peuple

by Sonja Asal

Teologia Politica – Politische Theologie

Volume 25

By (author) Merio Scattola Edited by Luise Schorn-Schütte Translated by Antonio Staude Translated by Francesca…

Ἀρχή and origo

The Power of Origins

Volume 13

Edited by Anke Walter Edited by Athanassios Vergados

A Communication Ethic of Dialogic Reformation

Nicholas of Cusa on Care for Communities in Crisis

Volume 106

by Michael R. Kearney

A Rational Faith

An Introduction to the Philosophy of Richard Swinburne

by Joshua Sijuwade

A Rational Faith

An Introduction to the Philosophy of Richard Swinburne

by Joshua Sijuwade

Ambiguum 10 of Maximus the Confessor in Modern Study

Papers collected on the Occasion of the Budapest Colloquium on Saint Maximus, 3-4 February 2021

Volume 97

Edited by Alexis Leonas Edited by Vladimir Cvetkovic

Care in an Era of New Technologies and Artificial Intelligence

Relationships in a Connected World

Volume 14

By (author) V. Nurock

Community in Walter Benjamin’s Philosophy

Volume 1

Edited by Stefano Marchesoni Edited by Nassima Sahraoui Edited by Sebastian Truskolaski

Creation Concepts and Creation Care

Perspectives from Early Judaism, Early Christianity, and Beyond. Kontexte und Normen neutestamentlicher Ethik / Contexts and Norms of New Testament Ethics XVII

Edited by Ruben Zimmermann Edited by Zacharias Shoukry Edited by Mirjam Jekel