A Mathematical Prelude to the Philosophy of Mathematics

Více o knize

Engaging readers in the philosophy of mathematics, the book emphasizes hands-on learning through practical exercises. It covers essential topics such as primitive recursive arithmetic, Gödel's theorems, set hierarchy, Frege arithmetic, and intuitionist sentential logic. With a total of 298 exercises, it encourages deep understanding and exploration of mathematical concepts, making complex theories accessible through active participation.