It is not the case that Extensional adequacy might permit bounded domains; a scheme valid for n^10 computations meets empirical criteria even if it fails for n^1000.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.