Logical Foundations of Mathematics and Computational Complexity : A Gentle Introduction
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 fou...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Edizione: | 1st ed. 2013. |
| Serie: | Springer Monographs in Mathematics
|
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logical foundations of mathematics and computational complexity, a gentle introduction, Pavel Pudlák, Cham, Springer, 2013, 1 vol. (XIV-695 p.), Springer monographs in mathematics, 978-3-319-00118-0 |
Sommario:
- Mathematician s world Language, logic and computations Set theory Proofs of impossibility The complexity of computations Proof complexity Consistency, Truth and Existence References.