My understanding is that we can use systems like Peano Arithmetic to prove the

My understanding is that we can use systems like Peano Arithmetic to prove the

My understanding is that we can use systems like Peano Arithmetic to prove the seemingly basic truth that 1+1=2. Do such proofs actually give us reasons to believe that 1+1=2 that we didn't have before? Are they more fundamental or compelling than whatever justification a mathematically-naive person would have to believe that 1+1=2?

Read another response by Stephen Maitzen
Read another response about Mathematics
Print