categories - Category Theory list
 help / color / mirror / Atom feed
From: Dusko Pavlovic <dusko@kestrel.edu>
To: categories@mta.ca
Subject: Re: Explanations
Date: Sat, 23 Apr 2011 14:52:50 -0700	[thread overview]
Message-ID: <E1QE9L3-000723-0c@mlist.mta.ca> (raw)
In-Reply-To: <E1QDhpj-0005Nt-Fy@mlist.mta.ca>

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.

some proofs yield an explanation, some explanations lead to a proof - but there is a sense in which the *attitudes* leading to one and to the other are *opposite*: while explanations tend to increase the number of words in the world, many people prove things so that we can stop talking about them. 

maybe the situation resembles the discussion between zeno and parmenides: "as parmenides argued that the movement does not exist in the universe, zeno stood up and walked around".

-- dusko

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


  parent reply	other threads:[~2011-04-23 21:52 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-04-22 13:55 Explanations Graham White
2011-04-23 20:27 ` Explanations David Yetter
2011-04-23 21:29 ` Explanations Ronnie Brown
2011-04-25 13:51   ` Explanations Joyal, André
2011-04-26  0:52     ` Explanations jim stasheff
2011-04-26 13:45     ` Explanations William Messing
     [not found]     ` <4DB6CC7D.40407@math.umn.edu>
2011-04-26 22:05       ` Explanations Ronnie Brown
2011-04-23 21:52 ` Dusko Pavlovic [this message]
2011-04-25 13:17   ` Explanations ClemsonSteve
2011-04-26  5:55     ` Explanations Timothy Porter
2011-04-27  7:53       ` Explanations Uli Fahrenberg
     [not found] ` <17617_1303861705_4DB759C9_17617_39_1_E1QEryD-0006dq-7k@mlist.mta.ca>
2011-04-27 13:20   ` Explanations Marta Bunge
     [not found] <654PeBPnq2496S01.1304350816@web01.cms.usa.net>
2011-05-02 18:22 ` Explanations peasthope
  -- strict thread matches above, loose matches on Subject: below --
2011-05-01 21:27 Explanations peasthope
     [not found] <609PDdViw1024S04.1304197762@web04.cms.usa.net>
2011-05-01 21:00 ` Explanations peasthope
2011-04-30 21:09 Explanations Fred E.J. Linton
     [not found] <BANLkTi=XhOM=FKajXUA6pyOq575fm_N=PQ@mail.gmail.com>
2011-04-29 19:56 ` Explanations peasthope
2011-04-30 19:58   ` Explanations Charles Wells
2011-05-02 17:01     ` Explanations Clemson Steve
2011-05-01 12:50   ` Explanations F. William Lawvere
2011-04-28 13:12 Explanations Ellis D. Cooper
2011-04-27  8:16 Explanations Mattias Wikström
2011-04-20 17:22 Explanations Fred E.J. Linton
2011-04-21 19:09 ` Explanations peasthope
2011-04-19 23:37 Explanations Jean-Pierre Marquis

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1QE9L3-000723-0c@mlist.mta.ca \
    --to=dusko@kestrel.edu \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).