Overview

Full Product Details

Author:   Petr Hájek (Academy of Sciences of the Czech Republic, Prague)
Publisher:   Cambridge University Press
Imprint:   Cambridge University Press
Volume:   6
Dimensions:   Width: 15.20cm , Height: 2.20cm , Length: 22.90cm
Weight:   0.650kg
ISBN:  

9781107168022

ISBN 10:   1107168023
Pages:   330
Publication Date:   02 March 2017
Audience:   College/higher education ,  Tertiary & Higher Education
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

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

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions