On: When are two proofs essentially the same? (2007)

[lupire]

> A couple of years ago I spoke at a conference about mathematics that brought together philosophers, psychologists and mathematicians. The proceedings of the conference will appear fairly soon

Can we do better?

[glitchc → lupire]

Not for free we can't.