From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6633 Path: news.gmane.org!not-for-mail From: Graham White Newsgroups: gmane.science.mathematics.categories Subject: Re: Explanations Date: Fri, 22 Apr 2011 14:55:57 +0100 Message-ID: Reply-To: Graham White NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1303584363 22076 80.91.229.12 (23 Apr 2011 18:46:03 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 23 Apr 2011 18:46:03 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sat Apr 23 20:45:59 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 1QDhq8-0007cl-6l for gsmc-categories@m.gmane.org; Sat, 23 Apr 2011 20:45:56 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:33918) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1QDhpm-0007yx-0e; Sat, 23 Apr 2011 15:45:34 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1QDhpj-0005Nt-Fy for categories-list@mlist.mta.ca; Sat, 23 Apr 2011 15:45:31 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6633 Archived-At: 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 -------- Forwarded Message -------- > From: peasthope@shaw.ca > Reply-to: peasthope@shaw.ca > To: categories@mta.ca > Cc: peasthope@shaw.ca > Subject: categories: Re: Explanations > Date: Thu, 21 Apr 2011 11:09:36 -0800 > > Fred & all, > >> My goodness! I'd turn that question around: is there any proof (apart >> from an "indirect" proof, or "proof by contradiction") that one would >> *not* "consider as being explanatory in this sense?" > > Speaking as a novice: yes, certainly. Isn't it a question of degree? Some > proofs explain beautifully while others are clear as mud; most are > between. Ideally a proof shouldn't depend upon natural language but > most do. Striking sometimes how changing a few words of a sentence > can make a concept obvious rather than nebulous. > > For example, I've proven some of the power laws for map objects. There > should be a way to reduce the definition of a map object and the power > laws to analogues in arithmetic. Still eludes me. My proofs have yet to > help. So my understanding is incomplete and my power law proofs are > poor. > > Best regards, ... Peter E. > > -- > Telephone 1 360 450 2132. bcc: peasthope at shaw.ca > Shop pages http://carnot.yi.org/ accessible as long as the old drives survive. > Personal pages http://members.shaw.ca/peasthope/ . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]