The Resource Logical foundations of mathematics and computational complexity : a gentle introduction, Pavel Pudlák, (electronic resource)

Logical foundations of mathematics and computational complexity : a gentle introduction, Pavel Pudlák, (electronic resource)

Label
Logical foundations of mathematics and computational complexity : a gentle introduction
Title
Logical foundations of mathematics and computational complexity
Title remainder
a gentle introduction
Statement of responsibility
Pavel Pudlák
Creator
Subject
Language
eng
Summary
The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity. The author presents his ideas on how these areas are connected, what are the most fundamental problems and how they should be approached. In particular, he argues that complexity is as important for foundations as are the more traditional concepts of computability and provability. Emphasis is on explaining the essence of concepts and the ideas of proofs, rather than presenting precise formal statements and full proofs. Each section starts with concepts and results easily explained, and gradually proceeds to more difficult ones. The notes after each section present some formal definitions, theorems and proofs. Logical Foundations of Mathematics and Computational Complexity is aimed at graduate students of all fields of mathematics who are interested in logic, complexity and foundations. It will also be of interest for both physicists and philosophers who are curious to learn the basics of logic and complexity theory
Member of
Cataloging source
GW5XE
Dewey number
511.3
Illustrations
illustrations
Index
index present
LC call number
QA9
LC item number
.P83 2013
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Springer monographs in mathematics,
Label
Logical foundations of mathematics and computational complexity : a gentle introduction, Pavel Pudlák, (electronic resource)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
http://library.link/vocab/branchCode
  • net
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Mathematician's World
  • Language, Logic and Computations
  • Set Theory
  • Proofs of Impossibility
  • The Complexity of Computations
  • Proof Complexity
  • Consistency, Truth and Existence
Control code
ocn841919382
Dimensions
unknown
Extent
1 online resource (xiv, 693 pages)
File format
unknown
Form of item
online
Isbn
9783319001180
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Quality assurance targets
not applicable
http://library.link/vocab/recordID
.b28858220
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)841919382
  • ebl3319001183

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...