This thread touches on one of my pet issues.
Is God subject to maths?
I don't have the background to understand the proof, but it seems that any sufficiently powerful formal system will have theorems which are true but not provable. A theist might assert that God doesn't belong to this system. But they're going to have to show their work.
I think the issues of paradox over omni-whatever Gods (e.g. how does God know She is omniscient.) She would have to know that there was nothing She didn't know, solve the halting problem and be able to quickly factor large primes. Just stating She does, doesn't to that.
http://en.wikipedia.org/wiki/G%C3%B6del%...s_theorems
Is God subject to maths?
I don't have the background to understand the proof, but it seems that any sufficiently powerful formal system will have theorems which are true but not provable. A theist might assert that God doesn't belong to this system. But they're going to have to show their work.
I think the issues of paradox over omni-whatever Gods (e.g. how does God know She is omniscient.) She would have to know that there was nothing She didn't know, solve the halting problem and be able to quickly factor large primes. Just stating She does, doesn't to that.
http://en.wikipedia.org/wiki/G%C3%B6del%...s_theorems
So how, exactly, does God know that She's NOT a brain in a vat? 
