Anjika
2009-12-10 09:39:12

I should clarify 36, maybe… I don’t mean to disparage Presburger arithmetic, nor suggest that 2 + 2 doesn’t equal 4 (I was a math major as an undergrad, after all). My understanding is when independence (“unprovable”) comes up in math, it’s over stuff like the Axiom of Choice, not adding 2 and 2.

A wag might suggest that 2 + 2 can equal 0 mod 4, and so 2 + 2 doesn’t always equal 4, but that would be trivial :-)