From: Vaughan Pratt <pratt@cs.stanford.edu>
To: cat group <categories@mta.ca>
Subject: Re: One-stop version of my postings
Date: Thu, 23 Mar 2006 20:31:47 -0800 [thread overview]
Message-ID: <E1FN0XW-0004pQ-0x@mailserv.mta.ca> (raw)
Robert J. MacG. Dawson wrote:
> ...fatally flawed. (Why do the circles in Euc.I.1 intersect? None of his
> axioms assert that any pair of circles whatsoever do so.)
In axiomatic mathematics, everything that is not forbidden is permitted.
Circles can climb trees and drape themselves over branches in Dali's
axiomatization of geometry, not because he says they can but because he
is not the strict disciplinarian that Euclid is. Euclid insists that
his circles shape up or else. This creates many problems for the
circles but few problems for mathematicians as their managers. Dali
runs a looser ship, which lets the circles lead a less structured life
while creating more problems for mathematicians. This is a win-win
situation: the circles end up with fewer neuroses while the
mathematicians thrive, problems being their lifeblood. Thank god for
Lobachevsky and the others we can't remember because Tom Lehrer didn't.
Vaughan Pratt
next reply other threads:[~2006-03-24 4:31 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-03-24 4:31 Vaughan Pratt [this message]
2006-03-27 13:56 ` Robert J. MacG. Dawson
-- strict thread matches above, loose matches on Subject: below --
2006-03-23 17:09 Robert J. MacG. Dawson
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=E1FN0XW-0004pQ-0x@mailserv.mta.ca \
--to=pratt@cs.stanford.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).