This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Saving extension semantic values from collection
- To: kenner at vlsi1 dot ultra dot nyu dot edu
- Subject: Re: Saving extension semantic values from collection
- From: Mark Mitchell <mark at codesourcery dot com>
- Date: Mon, 20 Mar 2000 10:46:56 -0800
- Cc: gcc-patches at gcc dot gnu dot org
- Organization: CodeSourcery, LLC
- References: <10003201840.AA15424@vlsi1.ultra.nyu.edu>
>>>>> "Richard" == Richard Kenner <kenner@vlsi1.ultra.nyu.edu> writes:
Richard> Well, I was a theoretician. Alex, for example, is an
Richard> empiricist. What he calls a proof is very different from
Richard> what I call a proof -- proofs for him are often
Richard> statistical observations of experiments.
Richard> And I'm somewhere in the middle: a proof for me is a
Richard> "convincing argument".
OK -- I think we can do that. I'll not do it here, because I don't
have time, but I hope you will trust me -- I have convinced myself.
Of course, convincing arguments are occasionally incorrect, unlike
mechanically checked formal proofs, so I acknowledge the possibility
of error.
--
Mark Mitchell mark@codesourcery.com
CodeSourcery, LLC http://www.codesourcery.com