Cantitate/Preț
Produs
Total produse
Vezi coșul
Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy de Petr Hájek

Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy: Lecture Notes in Logic, cartea 6

Editat de Petr Hájek
en Limba Engleză Hardback – mar 2017
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.
Citește tot Restrânge

Din seria Lecture Notes in Logic

  • 14% Descriptive Set Theory and Forcing
    Preț: 80296 lei
  • 14% Fine Structure and Iteration Trees
    Preț: 80304 lei
  • 14% Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
    Preț: 118542 lei
  • 14% Complexity of Infinite-Domain Constraint Satisfaction
    Preț: 94053 lei
  • 14% Recursion Theory
    Preț: 79072 lei
  • 14% Aspects of Incompleteness
    Preț: 80391 lei
  • 14% Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995
    Preț: 86190 lei
  • 14% Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
    Preț: 75015 lei
  • 14% Logic Colloquium '90: ASL Summer Meeting in Helsinki
    Preț: 75254 lei
  • 14% Logic Colloquium 2005
    Preț: 76108 lei
  • Stable Domination and Independence in Algebraically Closed Valued Fields
    Preț: 32304 lei
  • 14% Games, Scales and Suslin Cardinals: The Cabal Seminar, Volume I
    Preț: 75376 lei
  • Kurt Gödel: Essays for his Centennial
    Preț: 35925 lei
  • 14% A Framework for Priority Arguments
    Preț: 81029 lei
  • Logic Colloquium 2007
    Preț: 30687 lei
  • 14% Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II
    Preț: 103035 lei
  • 14% Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics
    Preț: 80871 lei
  • 14% Simple Theories and Hyperimaginaries
    Preț: 80311 lei
  • Descriptive Set Theory and Forcing: How to prove theorems about Borel sets the hard way
    Preț: 36471 lei
  • 14% Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III
    Preț: 116800 lei
  • 14% A Guide to NIP Theories
    Preț: 80487 lei
  • 14% Logic and Algebraic Structures in Quantum Computing
    Preț: 91343 lei
  • 14% Lectures on Infinitary Model Theory
    Preț: 80632 lei
  • 14% Model Theory of Fields
    Preț: 80487 lei
  • A General Algebraic Semantics for Sentential Logics
    Preț: 36529 lei
  • 14% A General Algebraic Semantics for Sentential Logics
    Preț: 80469 lei
  • The Core Model Iterability Problem
    Preț: 36399 lei
  • 14% The Core Model Iterability Problem
    Preț: 80262 lei
  • 14% Bounded Variable Logics and Counting: A Study in Finite Models
    Preț: 80632 lei

Preț: 76662 lei

Preț vechi: 89142 lei
-14%

Puncte Express: 1150

Carte tipărită la comandă

Livrare economică 07-21 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9781107168022
ISBN-10: 1107168023
Pagini: 330
Ilustrații: 11 b/w illus.
Dimensiuni: 152 x 229 x 22 mm
Greutate: 0.66 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Lecture Notes in Logic

Locul publicării:New York, United States

Cuprins

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.

Descriere

Proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in 1996.