Re: Fwd: SUO Quo Vadis
Alex,
> Justed wanted to make sure that implications of such
> *neutrality* are clearly understood.
That's fine.
Many of the most surprising (and often bug-creating)
implications of logic, programming languages, and
related formalisms occur at the end points -- e.g.,
empty sets, sequences, theories, programs, etc.,
on the one side and very large collections on
the other side.
I agree that it's important to check the end points
to be certain that the generalizations remain true.
John