-20%
Incompleteness for Higher-Order Arithmetic
Original price was: ₹6,033.00.₹4,827.00Current price is: ₹4,827.00.
Gödel’s true-but-unprovable sentence from the first incompleteness theorem is purely logical in nature, i.e. not mathematically natural or interesting. An interesting problem is to find mathematically natural and interesting statements that are similarly unprovable.
Gödel’s true-but-unprovable sentence from the first incompleteness theorem is purely logical in nature, i.e. not mathematically natural or interesting. An interesting problem is to find mathematically natural and interesting statements that are similarly unprovable.
Additional information
| Book Format | Hardcover, Softcover |
|---|
Book information
Edition
1st Edition
ISBN [Softcover]
9789811399480
Publisher
Springer
Year
2019
Pages
XIV, 122 p.
Series Title
SpringerBriefs in Mathematics
Language
English

Reviews
There are no reviews yet.