Offre spéciale sur les Précis de droit Stämpfli : Jusqu’à fin novembre, profitez d’un rabais de 20% sur les manuels d’enseignement et les livres pour la pratique suivants.
Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover

Logical Foundations of Mathematics and Computational Complexity

A Gentle Introduction
Livre (broché)158.00 CHF
livrable dans env. 20-45 jours

Contenu

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.

Informations bibliographiques

août 2016, 695 Pages, Springer Monographs in Mathematics, Anglais
Springer Nature EN
978-3-319-34268-9

Sommaire

Mots-clés

Autres titres de la collection: Springer Monographs in Mathematics

Afficher tout
A Memoir on Integrable Systems
Springer Nature EN, 2023
978-3-540-59000-2
env. 116.00 CHF
disponible dès janvier 2023
Discrete Energy on Rectifiable Sets
Springer Nature EN, 2019
978-0-387-84807-5
158.00 CHF
livrable dans env. 20-45 jours
Combinatorial Set Theory
With a Gentle Introduction to Forcing
Springer Nature EN, 2019
978-3-319-86812-7
189.00 CHF
livrable dans env. 20-45 jours
Classes of Directed Graphs
Springer Nature EN, 2019
978-3-030-10122-0
147.00 CHF
livrable dans env. 20-45 jours
Continuous Nowhere Differentiable Functions
The Monsters of Analysis
Springer Nature EN, 2018
978-3-319-79183-8
147.00 CHF
livrable dans env. 20-45 jours
General Galois Geometries
Springer Nature EN, 2018
978-1-4471-7391-5
147.00 CHF
livrable dans env. 20-45 jours
Combinatorial Set Theory
With a Gentle Introduction to Forcing
Springer Nature EN, 2018
978-3-319-60230-1
169.00 CHF
livrable dans env. 20-45 jours
Surface-Knots in 4-Space
An Introduction
Springer Nature EN, 2017
978-981-10-4090-0
130.00 CHF
livrable dans env. 20-45 jours
Local Homotopy Theory
Springer Nature EN, 2016
978-1-4939-4044-8
130.00 CHF
livrable dans env. 20-45 jours
Semigroups, Boundary Value Problems and Markov Processes
Springer Nature EN, 2016
978-3-662-51759-8
147.00 CHF
livrable dans env. 20-45 jours
An Introduction to the Mathematical Theory of the Navier-Stokes Equations
Steady-State Problems
Springer Nature EN, 2016
978-1-4939-5017-1
153.00 CHF
livrable dans env. 20-45 jours
Local Homotopy Theory
Springer Nature EN, 2015
978-1-4939-2299-4
147.00 CHF
livrable dans env. 20-45 jours

Autres titres sur ce thème

Habermas and Feminism
Critical Reflections on Normativity
Springer Nature EN, 3000
978-3-319-33764-7
env. 116.00 CHF
disponible dès juin 3000
MAAXIMUS - More Affordable Aircraft through Extended, Integrated and Mature ...
Springer Nature EN, 3000
978-3-319-48949-0
env. 294.00 CHF
disponible dès juin 3000
Heidegger und das totalitäre Denken
Studien zur Struktur, Wirkung und Entkräftung
VS Verlag für Sozialwissenschaft, 2027
978-3-658-15135-5
env. 52.50 CHF
disponible dès juin 2027
Ocular Motor Disorders and Vertigo
Diagnosis and Management
Springer Nature EN, 2026
978-1-84628-547-9
env. 92.00 CHF
disponible dès juin 2026
Radiology: The Oral Boards Primer
Springer Nature EN, 2031
978-1-60761-828-7
env. 194.00 CHF
disponible dès juin 2031
Gravitational Lensing in Spacetimes
Matter, Dark Energy, and Black Holes
Springer Nature EN, 2028
978-1-4419-0327-3
env. 69.00 CHF
disponible dès février 2028
Constrained Markov Sequence Generation
Applications to Music and Text
Springer Nature EN, 2099
978-3-319-43496-4
env. 78.00 CHF
disponible dès décembre 2099
Principal Component and Correspondence Analyses Using R
Springer Nature EN, 2028
978-3-319-09255-3
env. 69.00 CHF
disponible dès septembre 2028
Automotive Electrics and Automotive Electronics
Systems and Components, Networking and Hybrid Drive
Springer Nature EN, 2026
978-3-658-09533-8
env. 69.00 CHF
disponible dès janvier 2026
Spaces of Action and the Rights of Students in Chinese Universities
Springer Nature ENHigher Education Press, 3000
978-3-662-47168-5
env. 168.00 CHF
disponible dès août 3000