26 Apr
2011
26 Apr
'11
12:52 a.m.
On 4/25/11 9:51 AM, Joyal, André wrote:
The goal of a human proof is to convince other peoples of the truthfulness of a proposition. It is by nature explanatory and it can lead to new insights. I disagree mildly.
convincing other people of the truthfulness of a proposition can involve staightforward computation which I don't find explanatory jim [For admin and other information see: http://www.mta.ca/~cat-dist/ ]