Number of the records: 1
Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction
- 1.0393022 - MÚ 2014 RIV CH eng B - Monography
Pudlák, Pavel
Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction.
1. - Heidelberg: Springer, 2013. 695 s. Springer Monographs in Mathematics. ISBN 978-3-319-00118-0. ISSN 1439-7382
R&D Projects: GA AV ČR IAA100190902
Institutional research plan: CEZ:AV0Z10190503
Institutional support: RVO:67985840
Keywords : mathematical logic * foundations of mathematics * set-theoretical foundations * incompleteness theorems
Subject RIV: BA - General Mathematics
http://link.springer.com/book/10.1007/978-3-319-00119-7/page/1
The two main themes of the book, logic and complexity, are connected by both being important for understanding the main problems about the foundations of mathematics. The book covers a broad spectrum of results in logic and set theory that are relevant to foundations, as well as results in computational complexity and the interdisciplinary area of proof complexity. The author also presents his ideas on how these areas are connected, what are the most fundamental problems and how should be approached.
Permanent Link: http://hdl.handle.net/11104/0221789
Number of the records: 1