Re: Why should a mathematician be interested in QEDfirstname.lastname@example.org (david mumford)
Date: Thu, 22 Apr 93 10:24:27 EDT
From: email@example.com (david mumford)
Subject: Re: Why should a mathematician be interested in QED?
Cc: firstname.lastname@example.org, email@example.com
Dear David (Mc),
The idea behind Bourbaki, viz.
"The hope was that a fairly small
simple set of basic structures were the basis of most research."
seems to me to have a lot to do with whether qed will be successful. If
something like this is not true, or if true, not heeded, one generates
an archipelago of little formal theories that only the true devotees will
understand: and no one will be able to add to the corpus without
knowing which fragments apply where. Of course ZFC or Ontic accomodates
both styles. The question is -- does human cognition accomodate both
equally well and does the style of professional interfacing between scientists
accomodate both syles? I would argue that qed must have a master plan
in the Bourbaki style.