• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Naturvetenskap och teknik
    2. Matematik och naturvetenskap
    3. Matematik
    4. Matematikens grunder

    Gödel '96

    Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy

    AvPetr Hájek

    Inbunden, Engelska, 2017

    Del 6 i serien Lecture Notes in Logic

    1 576 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them.

    Produktinformation

    • Utgivningsdatum:2017-03-02
    • Mått:152 x 229 x 22 mm
    • Vikt:650 g
    • Format:Inbunden
    • Språk:Engelska
    • Serie:Lecture Notes in Logic
    • Antal sidor:332
    • Förlag:Cambridge University Press
    • ISBN:9781107168022

    Utforska kategorier

    • Matematikens grunder inom Naturvetenskap och teknik
    • Fysik inom Naturvetenskap och teknik
    • Systemvetenskap och AI inom Data och IT

    Mer om författaren

    Petr Hájek works in the Academy of Sciences of the Czech Republic, Prague.

    Innehållsförteckning

    • Preface; Part I. Invited Papers: 1. Gödel's program for new axioms: why, where, how and what? Solomon Feferman; 2. Infinite-valued Gödel logics with 0-1-projections and relativizations Matthias Baaz; 3. Contributions of K. Gödel to relativity and cosmology G. F. R. Ellis; 4. Kurt Gödel and the constructive mathematics of A. A. Markov Boris A. Kushner; 5. Hao Wang as philosopher Charles Parsons; 6. A bottom-up approach to foundations of mathematics Pavel Pudlák; 7. K-graph machines - generalizing Turing's machines and arguments Wilfried Sieg and John Byrnes; 8. Forcing on bounded arithmetic Gaisi Takeuti and Masahiro Yasumoto; 9. Uniform interpolation and layered bisimulation Albert Visser; Part II. Contributed Papers: 10. Gödel's ontological proof revisited C. Anthony Anderson and Michael Gettings; 11. A uniform theorem proving tableaux method for modal logic Tadashi Araragi; 12. Decidability of the \exists*\forall*-class in the membership theory NWL Dorella Bellè and Franco Parlamento; 13. A logical approach to complexity bounds for subtype inequalities Marcin Benke; 14. How to characterize provably total functions Benjamin Blankertz and Andreas Weiermann; 15. Completeness has to be restricted - Gödel's interpretation of the parameter t Giora Hon; 16. A bounded arithmetic theory for constant depth threshold circuits Jan Johannsen; 17. Information content and computational complexity of recursive sets Lars Kristiansen; 18. Kurt Gödel and the consistency of R## Robert K. Meyer; 19. Best possible answer is computable for fuzzy SLD-resolution Leonard Paulík; 20. The finite stages of inductive definitions Robert F. Stärk; 21. Gödel and the theory of everything Michael Stöltzner; 22. Replacement ─/→ collection Andrzej M. Zarach.