1 option
Limits of Mathematics : A Journey Through the Key Areas of Mathematical Logic / by Dirk W. Hoffmann.
Springer Nature - Springer Mathematics and Statistics (R0) eBooks 2025 English International Available online
View online- Format:
- Book
- Author/Creator:
- Hoffmann, Dirk W.
- Series:
- Mathematics Study Resources, 2731-3832 ; 19
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Machine theory.
- Mathematical Logic and Foundations.
- Formal Languages and Automata Theory.
- Local Subjects:
- Mathematical Logic and Foundations.
- Formal Languages and Automata Theory.
- Physical Description:
- 1 online resource (425 pages)
- Edition:
- 1st ed. 2025.
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2025.
- Summary:
- Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number? Modern mathematical logic of the twentieth century provides astonishing answers to these questions. 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. The book contains numerous two-color illustrations and more than 70 exercises (with solutions available on the author's website). This translation is based on the third edition of the original German book. About the author Prof. Dr. Dirk W. Hoffmann is a professor at the Department of Computer Science and Business Information Systems at Karlsruhe University of Applied Sciences in Germany. He has also authored the book Gödel’s Incompleteness Theorems - A Guided Tour Through Kurt Gödel’s Historic Proof.
- Contents:
- 1 Historic Notes
- 2 Formal Systems
- 3 Foundations of Mathematics
- 4 Peoof Thory
- 5 Computability Theory
- 6 Algorithmic Information Theory
- Model Theory.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 3-662-70999-6
- 9783662709993
- OCLC:
- 1543209849
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.