From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6635 Path: news.gmane.org!not-for-mail From: Ronnie Brown Newsgroups: gmane.science.mathematics.categories Subject: Re: Explanations Date: Sat, 23 Apr 2011 22:29:29 +0100 Message-ID: References: Reply-To: Ronnie Brown NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1303689867 5448 80.91.229.12 (25 Apr 2011 00:04:27 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 25 Apr 2011 00:04:27 +0000 (UTC) Cc: categories@mta.ca To: Graham White Original-X-From: majordomo@mlist.mta.ca Mon Apr 25 02:04:23 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1QE9Hq-0004QZ-Sx for gsmc-categories@m.gmane.org; Mon, 25 Apr 2011 02:04:23 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:36816) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1QE9Hm-0004kJ-UB; Sun, 24 Apr 2011 21:04:18 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1QE9Hl-00070T-1X for categories-list@mlist.mta.ca; Sun, 24 Apr 2011 21:04:17 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6635 Archived-At: As a good example of a proof giving an explanation using categorical methods like the proof of the Seifert-van Kampen Theorem for the fundamental group in Crowell, R.~H. \newblock \enquote{On the van {K}ampen theorem}. \newblock \emph{Pacific J. Math.} \textbf{9} (1959) 43--50. It does not quite use modern categorical language but in essence it proves a colimit theorem by verifying the required universal property. This then leads to specific calculations. Previous proofs were difficult to understand (e.g. van Kampen's account) or restricted to the simplicial case. The value of the proof was also that it could be generalised to the groupoid (many base point) case, and to higher dimensions, using higher homotopy groupoids. Ronnie Brown On 22/04/2011 14:55, Graham White wrote: > And the folklore is (I haven't checked this in a proper history book) > that Gauss proved quadratic reciprocity numerous times because he didn't > consider the proofs sufficiently explanatory. It's certainly true that > modern proofs (i.e. those using the methods of algebraic number theory) > generalise it, and thereby explain, for example, what it is about the > rationals, and the number two, that makes primes in the rationals obey > quadratic reciprocity. I think one conclusion here is that, if you say > "explanatory", I am entitled to answer "so what do you want explained?" > > Another point is this: there are lots of combinatorial > identities of the form > > big ugly formula_1 = big ugly formula_2 > > which can be proved directly (for example, by induction > and a lot of algebra), but where the proof is utterly unilluminating. > And in many cases there are more conceptual proofs which people > generally find more illuminating (depending on taste, of course). > > Graham > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]