This book takes you on a journey through the core areas of mathematical logic, leading to the limits of mathematics. 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. (Dal sito dell'editore)
Scheda
Links
eBook
Monografia
Descrizione
*Limits of mathematics : a journey through the key areas of mathematical logic / Dirk W. Hoffmann. - Berlin : Springer, 2025. - 1 testo elettronico (ix, 422 p. : ill.). ((Traduzione dalla 3. ed. in lingua tedesca
