This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Aliasing fun
- From: Daniel Berlin <dan at dberlin dot org>
- To: Robert Dewar <dewar at gnat dot com>
- Cc: gcc at gcc dot gnu dot org
- Date: Fri, 25 Jan 2002 11:56:14 -0500 (EST)
- Subject: Re: Aliasing fun
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