[Avodah] [Areivim] Godel's incompleteness theorems -- Proof of G-d'sexistence

[Hankman]

Repost from Areivim to Avodah per moderator request:
> On Mon, Nov 15, 2010 at 10:40:06AM -0500, Hankman wrote:
> : I suspect (speculate, I am no expert here) that Godel's incompleteness
> : theorems could be at the bottom of the reason why absolute proofs of
> : G-d's existence are hard (impossible by the theorm) to come by...

RMB responded:
> The proof is that any system of sufficient complexity can have something
> that can be mapped to "I am false". Therefore, systems of proof must be
> either incomplete or self-contradictory.

> Nothing about any non-self-referential claim being unprovable.

> Just about self-referential claims and the systems in which they (or
> something that maps to them 1:1) can be expressed.

As "Chosomo shel HKB'H emes," I presume that implies that the statement
"I am false" wrt to HKB'H, cholila, would be inadmissable (and certainly
untrue). What would that mean in our context wrt Godel?

Kol Tuv
Chaim Manaster