Метаматематика арифметики первого порядка | Metamathematics of First-Order Arithmetic
by Petr Hajek
Hardback
ISBN: 9781107168411
Petr Hajek, 2017. Part of the Perspectives in Logic series.
Overview
This volume offers a focused exploration of the metamathematics of first-order arithmetic. It delves into subsystems of Peano arithmetic, providing a deeper understanding of the role of the axiom schema of induction and the phenomenon of incompleteness. The text assumes a foundational knowledge of mathematical logic, which is reviewed in the preliminary sections.
Who it's for
- Students and researchers in mathematical logic.
- Individuals interested in the foundations of arithmetic.
- Readers seeking to understand incompleteness theorems.
Key features
- Language: English
- Binding: Hardback
- Pages: 474
- Publisher: Cambridge Academ
- Year: 2017
- ISBN: 9781107168411
