By Stephen Pollard

This e-book relies on premises: one can't comprehend philosophy of arithmetic with no realizing arithmetic and one can't comprehend arithmetic without doing arithmetic. It attracts readers into philosophy of arithmetic by way of having them do arithmetic. It deals 298 routines, masking philosophically vital fabric, awarded in a philosophically expert means. The routines supply readers possibilities to recreate a few arithmetic that might remove darkness from vital readings in philosophy of mathematics. subject matters comprise primitive recursive mathematics, Peano mathematics, Gödel's theorems, interpretability, the hierarchy of units, Frege mathematics and intuitionist sentential good judgment. The publication is meant for readers who comprehend uncomplicated homes of the ordinary and real numbers and feature a few historical past in formal logic.