Limits of mathematics: a journey through the key areas of mathematical logic
Auteur :
Hoffmann, Dirk W.
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783662709986
Date de publication :
2 oct. 2025
Dimensions :
22,6 x 18,9 cm
Langue :
Anglais
Pays d'origine :
Allemagne
The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödel's incompleteness theorems, computability theory, algorithmic information theory, and model theory.