Aliasing fun
Daniel Berlin
dan@dberlin.org
Fri Jan 25 09:36:00 GMT 2002
On Fri, 25 Jan 2002, Robert Dewar wrote:
> <<But we are of course, not talking in a formal setting here, nor have i
> applied a formal meaning of undecidability (except in a few cases when
> referring to papers), though i am quite aware of
> what it is.
> >>
>
> Undecidability IS a formal term, with a formal meaning, if you have been
> using the term in any other sense, then no wonder no one has been able
> to understand what you were saying.
It's not so much they don't understand, as they keep ignoring the
substantive issue in favor of arguing about undecidability.
Guess it's just more fun.;
--Dan
More information about the Gcc
mailing list