Beweisbarkeitslogik: -- Gödel, Rosser, Solovay -- (Logische Philosophie) (German Edition)

0 avg rating
( 0 ratings by Goodreads )
 
9783832512958: Beweisbarkeitslogik: -- Gödel, Rosser, Solovay -- (Logische Philosophie) (German Edition)
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

B|low, Christopher von
Published by Logos Verlag (2006)
ISBN 10: 3832512950 ISBN 13: 9783832512958
New PAPERBACK Quantity Available: 2
Seller:
ISD LLC
(Bristol, CT, U.S.A.)
Rating
[?]

Book Description Logos Verlag, 2006. PAPERBACK. Condition: New. 3832512950. Seller Inventory # 37291P

More information about this seller | Contact this seller

Buy New
US$ 44.00
Convert Currency

Add to Basket

Shipping: US$ 6.75
Within U.S.A.
Destination, Rates & Speeds

2.

Christopher von B|low
Published by Logos Verlag (2006)
ISBN 10: 3832512950 ISBN 13: 9783832512958
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Logos Verlag, 2006. Condition: New. book. Seller Inventory # M3832512950

More information about this seller | Contact this seller

Buy New
US$ 63.80
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds