From: peasthope@shaw.ca
To: categories@mta.ca
Cc: peasthope@shaw.ca
Subject: Re: Explanations
Date: Thu, 21 Apr 2011 11:09:36 -0800 [thread overview]
Message-ID: <E1QDFyF-0000tl-Ue@mlist.mta.ca> (raw)
In-Reply-To: <E1QCtcp-0005GX-7K@mlist.mta.ca>
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/ ]
next prev parent reply other threads:[~2011-04-21 19:09 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-04-20 17:22 Explanations Fred E.J. Linton
2011-04-21 19:09 ` peasthope [this message]
[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-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 ` Explanations Dusko Pavlovic
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
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=E1QDFyF-0000tl-Ue@mlist.mta.ca \
--to=peasthope@shaw.ca \
--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).