On 13-04-03 07:39 PM, Alexander Solla wrote:
There's your problem. Mathematicians do this specifically because it is helpful. If anything, explicit quantifiers and their interpretations are more complicated. People seem to naturally get how scoping works in mathematics until they have to figure out free and bound variables.
Quantifiers are complicated, but I don't see how explicit is more so
than implicit. If anything, it should be the other way round, since
correctly interpreting the implicit case incurs the extra step of first
correctly guessing how to explicate. (If it doesn't have to be correct,
I know how to do it 100 times simpler, to paraphrase Gerald Weinberg.)
I have just seen recently
prove or disprove:
for all e>0, there exists d>0,
if 0