|
![](/i/fill.gif) |
On 11/11/2010 1:23 PM, Darren New wrote:
>>
>> How so? I only see an obvious argument like that for a particular sort
>> of omnipotent God, rather than a merely omniscient one.
>
> If God is omniscient, then he knows whether every program will halt or not.
>
Sure, but I don't see how that's a logical contradiction. All it means
is that God has abilities/knowledge that are non-algorithmic (an
assertion I'm sure would be agreed with by almost any theist). It's
still possible to logically reason to a degree about things which are
non-computable, and certainly no logical contradiction in asserting the
existence (at least in a Platonic sense) of things which aren't computable.
The furthest I can see your argument being pushed would be to limit the
sort of reasoning we can apply when talking about God, where it implies
that we can't know *everything* about God through logic, but I don't see
how it implies that we can't know *anything*, or that the sort of
omniscience you describe is incompatible with logic.
Perhaps I am misunderstanding the point you are making?
Post a reply to this message
|
![](/i/fill.gif) |