(November 27, 2012 at 9:20 am)Tiberius Wrote: Or...why don't you just accept that this proof demonstrates that God can't possibly possess omniscience?
Because it might be completely acceptable that there exists an algorithm A such that it cannot be known whether A halts. In fact, the 'solution' to the halting problem--i.e., that there is no solution--exhibits just such an algorithm.
Another issue is that I'm not familiar enough with decidability, Turing machines, or computer science in general to be able to say what the specific caveats are for the halting problem 'solution'. Which is why I solicited more knowledgeable opinions.
“The truth of our faith becomes a matter of ridicule among the infidels if any Catholic, not gifted with the necessary scientific learning, presents as dogma what scientific scrutiny shows to be false.”
