Sorry, I should’ve said “statements that are provable or disprovable from the axioms”, mentioning quantifiers was kinda irrelevant. Are you saying that your robot will eventually write out truth values for statements that are independent of the axioms as well? (Like the continuum hypothesis in ZFC.)
Sorry, I should’ve said “statements that are provable or disprovable from the axioms”, mentioning quantifiers was kinda irrelevant. Are you saying that your robot will eventually write out truth values for statements that are independent of the axioms as well? (Like the continuum hypothesis in ZFC.)
I feel like the robot metaphor may be outside of its domain of validity by now. Anyhow, I replied over in the other branch.