My interpretation of the original quote was to take “see that 5 + 4 is not 6” as “prove that you cannot prove that 5 + 4 = 6″, in other words, “prove that Peano’s arithmetic is consistent”. Maybe I was too influenced by this.
I think that’s a way better interpretation :D
My interpretation of the original quote was to take “see that 5 + 4 is not 6” as “prove that you cannot prove that 5 + 4 = 6″, in other words, “prove that Peano’s arithmetic is consistent”. Maybe I was too influenced by this.
I think that’s a way better interpretation :D