Not sure. I'm more interested in the theological questions AI raises about man. In the Christian tradition, man has typically been seen as a unique creature posessed with reason and langauge, which is what distinguishes him from lower animals, but if a computer is capable of complex reasoning what does that say about man? Anyway, thanks anon I've never seen Godel's proof of God.