From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6637 Path: news.gmane.org!not-for-mail From: ClemsonSteve Newsgroups: gmane.science.mathematics.categories Subject: Re: Explanations Date: Mon, 25 Apr 2011 09:17:59 -0400 Message-ID: References: Reply-To: ClemsonSteve NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1303776473 4534 80.91.229.12 (26 Apr 2011 00:07:53 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 26 Apr 2011 00:07:53 +0000 (UTC) Cc: categories@mta.ca To: Dusko Pavlovic Original-X-From: majordomo@mlist.mta.ca Tue Apr 26 02:07:49 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 1QEVoj-0000RY-3M for gsmc-categories@m.gmane.org; Tue, 26 Apr 2011 02:07:49 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:46760) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1QEVoK-0006g9-GT; Mon, 25 Apr 2011 21:07:24 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1QEVoH-0002Zu-J0 for categories-list@mlist.mta.ca; Mon, 25 Apr 2011 21:07:21 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6637 Archived-At: Quoted from Jean-Pierre Marquis email: "yes, of course, Salmon is certainly one of the important contributors to the field [scientific explanation]. In mathematics, Paolo Mancosu has been pushing the issue for the past 10 years or so, following the paths of Steiner, Resnik and a few others." In science, the issue of explanation has been discussed for at least a century. Since mathematics is a formal system and not a physical system, we have to be more careful about what *explanation* means. This makes it a "worldview" problems? As a constructionist/computationalist I would say no constructive, computational proof then there is no explanation. Platonist have their own. Is their explanation useful to me? Don't know because if I can figure a constructive technique out from the plationic technique, I'm good. steve stevenson clemson On 4/23/11 17:52, Dusko Pavlovic wrote: > a friend told me that there was a conference where music critics and professors discussed the visual content of music. on the other side, there are learned essays about the deep links between music and architecture. (hegel in particular wrote about that.) > > the question whether a mathematical proof explains the theorem might be of a similar kind. while most proofs of the pythagoras theorem do explain why it is true, wyles' proof of the great fermat theorem (just a slightly different statement) does not seem to be explaining it to too many people. -- Steve Stevenson Clemson University [For admin and other information see: http://www.mta.ca/~cat-dist/ ]