Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction

0393022 - MÚ 2014 RIV CH eng B - Monografie kniha jako celek
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
Grant CEP: GA AV ČR IAA100190902
Výzkumný záměr: CEZ:AV0Z10190503
Institucionální podpora: RVO:67985840
Klíčová slova: mathematical logic * foundations of mathematics * set-theoretical foundations * incompleteness theorems
Kód oboru RIV: BA - Obecná matematika
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.
Trvalý link: http://hdl.handle.net/11104/0221789