> Let n equal 3 if God exists, or 5 if God does not exist. Is n prime?
[Not yet finished the article]
Author says the answer is True. I say the question is malformed, and cannot be answered.
[Not yet finished the article]
Author says the answer is True. I say the question is malformed, and cannot be answered.
Let P be an arbitrary program and let n be equal to 3 if P terminates, or 5 if not.
Is it still malformed? Is so, then how about
Let n be equal to 3 Goldbach's conjecture is true, or 5 if not.
simplifies to A in classic logic.
I guess there's an ambiguity whether "God exists" is a propositional variable.
To answer a question, you first have to be able to parse the question.
fn is_n_prime_whether_or_not_God_exists()
if (is_prime(3) && is_prime(5)) { // early return
return true;
} else {
return three_if_God_exists_five_otherwise();
}
}