[FrankWilhoit]

But does this show that the verse is unprovable? Does it show that Gematria is equipotent with Peano arithmetic, or less powerful? Does the estimate of the order of the Gödel number for all of Torah imply that the question is unapproachable? Didn't we already know that?

[7h3P146u3]

This was just "for fun" - it does not "prove" anything other than to show if you have number values for letters (as the Gematria does for Hebrew) any string of text can be numerically represented and encoded in a Godel Number - one could do the same thing for Moby Dick or an email, it doesn't matter. This is kind of a fun thing for learning purpose to show how large Godel numbers get, and how quickly. The idea of "storing a string of text in one number" is cool - yes it underpins Godel's Incompleteness theorems, etc., but is also just cool by itself I think.