From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6627 Path: news.gmane.org!not-for-mail From: Jean-Pierre Marquis Newsgroups: gmane.science.mathematics.categories Subject: Explanations Date: Tue, 19 Apr 2011 19:37:44 -0400 Message-ID: <7EE6CE7F-C547-4D6A-8D59-89DA5209655E@umontreal.ca> Reply-To: Jean-Pierre Marquis NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1303300788 7456 80.91.229.12 (20 Apr 2011 11:59:48 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 20 Apr 2011 11:59:48 +0000 (UTC) To: categories Original-X-From: majordomo@mlist.mta.ca Wed Apr 20 13:59:44 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 1QCW4M-0002W1-M4 for gsmc-categories@m.gmane.org; Wed, 20 Apr 2011 13:59:42 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:49457) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1QCW4I-0001KL-4x; Wed, 20 Apr 2011 08:59:38 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1QCW4E-0001LM-Co for categories-list@mlist.mta.ca; Wed, 20 Apr 2011 08:59:34 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6627 Archived-At: Hi, I have a general question which is not strictly speaking about = categories, but I thought I would ask the members of the list anyhow. = Here is the context: some people claim that there are mathematical = proofs that are explanatory, that is, not only do they establish the = claim they prove, but they also show why the given result holds. Here is my question: is there any proof, involving categories or not = (but preferably so), that you would consider as being explanatory in = this sense? Please answer off-list. Thanks, Jean-Pierre Jean-Pierre Marquis Professeur titulaire Responsable du premier cycle D=E9partement de philosophie Universit=E9 de Montr=E9al jean-pierre.marquis@umontreal.ca Tel: 514-343-6111 (33445) T=E9l=E9copieur: 514-343-7899 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]