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)
 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
 Language
 eng
 Extent
 1 online resource (xiv, 693 pages)
 Contents

 Mathematician's World
 Language, Logic and Computations
 Set Theory
 Proofs of Impossibility
 The Complexity of Computations
 Proof Complexity
 Consistency, Truth and Existence
 Isbn
 9783319001180
 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
 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
 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)
 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
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.deakin.edu.au/portal/Logicalfoundationsofmathematicsand/a76vSW1ecI4/" typeof="CreativeWork http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.deakin.edu.au/portal/Logicalfoundationsofmathematicsand/a76vSW1ecI4/">Logical foundations of mathematics and computational complexity : a gentle introduction, Pavel Pudlák, (electronic resource)</a></span>  <span property="offers" typeOf="Offer"><span property="offeredBy" typeof="Library ll:Library" resource="http://link.library.deakin.edu.au/#Deakin%20University%20Library"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.deakin.edu.au/">Deakin University Library</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Logical foundations of mathematics and computational complexity : a gentle introduction, Pavel Pudlák, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.deakin.edu.au/portal/Logicalfoundationsofmathematicsand/a76vSW1ecI4/" typeof="CreativeWork http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.deakin.edu.au/portal/Logicalfoundationsofmathematicsand/a76vSW1ecI4/">Logical foundations of mathematics and computational complexity : a gentle introduction, Pavel Pudlák, (electronic resource)</a></span>  <span property="offers" typeOf="Offer"><span property="offeredBy" typeof="Library ll:Library" resource="http://link.library.deakin.edu.au/#Deakin%20University%20Library"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.deakin.edu.au/">Deakin University Library</a></span></span></span></span></div>