Further evidence that there's some deep connection between math and language: it would seem that I can't add in Hebrew (I mean, even more so than my calculus-addled brain generally has trouble with arithmatic). This evening I walked down the block to grab a snack. The drink was three shekels, and a handful of nuts was seven or so. Yet I didn't blink when I mis-heard ten-seventy as seventeen1 and tried to give the shopkeeper way too much lucre.
The precise mathematical formulation that is Gödel's theorem doesn't really say "there are true things which cannot be proved" any more than Einstein's theory means "everything is relative, dude, it just depends on your point of view."
The commentary that led me there from CT is, as always, lots of fun as well.
And hang in there. I've been busy, but there'll be more photo posting tomorrow.
1 Roughly, esser shivim, ten-seventy, versus esser ve sheva, which would be a silly but marginally acceptable way to say seventeen (correctly, sh'vah-essreh).
2 Don't see the connection? You need to re-read your Hofstadter!