Cantitate/Preț
Produs
Total produse
Vezi coșul
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15 de Wilfried Sieg

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15

Editat de Wilfried Sieg, Richard Sommer, Carolyn Talcott
en Limba Engleză Hardback – 16 aug 2002
Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.
Citește tot Restrânge

Preț: 60025 lei

Preț vechi: 80515 lei
-25% Nou

Puncte Express: 900
Preț estimativ în valută:
11487€ • 12081$ • 9598£

Comandă specială

Livrare economică 18 decembrie 24 - 01 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781568811697
ISBN-10: 1568811691
Pagini: 458
Dimensiuni: 164 x 234 mm
Greutate: 0.82 kg
Ediția:New.
Editura: CRC Press
Colecția A K Peters/CRC Press

Cuprins

Part I: Proof Theoretic Analysis 1. Ordinal analysis without proofs 2. Relating ordinals to proofs in a perspicuous way 3. Internal finite tree embeddings 4. Foundational and mathematical uses of higher types 5. The epsilon substitution method and continuity 6. Predicativity: The outer limits Part II: Logic And Computation 7. A pragmatic interpretation of substructural logics 8. Computational complexity and induction for partial computable functions in type theory 9. Computability theory: Structure or algorithms 10. Tim Fernando 11. Three processes in natural language interpretation 12. Infinitary initial algebra specifications for stream algebras Part III: Applicative and Self-Applicative Theories 13. On extensionality, uniformity and comprehension in the theories of operations and classes 14. The proof-theoretic analysis of the Suslin operator in applicative theories 15. Feferman-Landin Logic 16. Explicit mathematics with monotone inductive definitions: A survey Part IV: Philosophy of Modern Mathematical and Logical Thought 17. On the constructivity of proofs. a debate among Behmann, Bernays, Godel, and Kaufmann 18. Realism and the debate on impredicativity, 1917–1944 19. Calculations by man and machine: Conceptual analysis 20. Remarks on finitism 21. Logical constants: The variable fortunes of an elusive notion

Recenzii

Forms of assertion for a style of reasoning arise by fixing the meanings of some expressions . . . -Zentralblatt MATH, February 2005

Notă biografică

Sieg \, Wilfried; Sommer \, Richard; Talcott \, Carolyn

Descriere

This book is based on a symposium held at Stanford University. It focuses on the semantic content of the theories under consideration, rather than the syntactic structure of their proofs, and describes the systems of ordinal notations that are needed to carry out the ordinal analysis.