Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction /

• Κύριος συγγραφέας: Pudlák, Pavel (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Heidelberg : Springer International Publishing : Imprint: Springer, 2013.
• Σειρά: Springer Monographs in Mathematics,
• Θέματα: Mathematics.; Algorithms.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematics of Algorithmic Complexity.; Algorithm Analysis and Problem Complexity.

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...

Πίνακας περιεχομένων:

• Mathematician’s world
• Language, logic and computations
• Set theory
• Proofs of impossibility
• The complexity of computations
• Proof complexity
• Consistency, Truth and Existence
• References.