No...2 is not up for grabs. 2 is a complete contradiction of 1, and 1 has been proven.
Your question postulates that either the halting problem can be solved, or God is not omniscient. Well, we know the halting problem cannot be solved. So therefore God cannot be omniscient. Unless I'm getting confused here?
Your question postulates that either the halting problem can be solved, or God is not omniscient. Well, we know the halting problem cannot be solved. So therefore God cannot be omniscient. Unless I'm getting confused here?
