From: "Mamuka Jibladze" <jib@rmi.acnet.ge>
To: <categories@mta.ca>
Subject: Re: cracks and pots and Mac Lane
Date: Sun, 2 Apr 2006 12:36:16 +0500 [thread overview]
Message-ID: <E1FQCCW-0003kV-Tp@mailserv.mta.ca> (raw)
> Eduardo quotes Mac Lane as saying
> (paraphrased) If it hasn't been proved, it isn't mathematics
>
> Much as I admire Mac Lane and owe much to him,
> that's rather at odds with what most of us do
> even those who insist on getting a proof ultimately.
>
> case in point:
>
> http://www.oxfordtoday.ox.ac.uk/2005-06/v18n2/04.shtml
>
> if that isn't math, what is it?
> (perjorative adjective of your choice) mathematics?
>
> Was Newton doing *only* physics?
>
> jim
In fact standards of proof and rigor have undergone quite some
transformation in time, so why could they not change drastically in future?
Again lacking proper knowledge I want to ask those who know more history to
confirm or reject something I've been told. Namely, seemingly in times of
Euler and Bernoullis, to be able to prove one's statements was just a matter
of honour, but nobody was obliged to accompany announcement of a theorem
with a proof - you could keep the latter to yourself and should only present
it if somebody would challenge you by expressing doubt; which probably did
not happen that often.
So how do we know that what we consider a rigorous proof today will not be
viewed as something insufficient or even irrelevant in a couple of
centuries? For example, if mathematics would develop my way, I would give a
fact the status of being established only after seeing its validity does not
require any serious effort or expertise from an average mathematician (maybe
even a student). This would not necessarily mean waiting much more time - in
case mathematicians would continue to learn *seeing* more and more. I mean,
if you have to explain to a person in the street how to reach some place,
the amount and kind of explanation you need depends critically on whether
the person is blind or not.
Mamuka
next reply other threads:[~2006-04-02 7:36 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-04-02 7:36 Mamuka Jibladze [this message]
-- strict thread matches above, loose matches on Subject: below --
2006-04-03 15:02 jim stasheff
2006-04-02 1:42 Colin McLarty
2006-04-01 15:11 jim stasheff
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=E1FQCCW-0003kV-Tp@mailserv.mta.ca \
--to=jib@rmi.acnet.ge \
--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).