-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.
-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.