Saving extension semantic values from collection

Richard Kenner kenner@vlsi1.ultra.nyu.edu
Mon Mar 20 10:29:00 GMT 2000


    Well, I was a theoretician.  Alex, for example, is an empiricist.
    What he calls a proof is very different from what I call a proof --
    proofs for him are often statistical observations of experiments.

And I'm somewhere in the middle: a proof for me is a "convincing
argument".


More information about the Gcc-patches mailing list