On 2012-07-02, Richard Fateman <fateman at eecs.berkeley.edu> wrote:
> Either a gensym or not, it should not matter.
> That is, the integration variable is "bound" and
> integrate(f(t),t,a,b) is semantically identical to
> integrate(f(gensym1),gensym1,a,b).
>
> Any question about gensym1 is just as illegitimate as the corresponding
> question about t.
> We know that a<=t<=b.
For the record, I am generally in favor of all this. Disclaimer: I
haven't thought it through too carefully.
best
Robert Dodier