From: Vaughan Pratt <pratt@cs.stanford.edu>
To: categories list <categories@mta.ca>
Subject: Re: Lambek's lemma
Date: Thu, 12 Nov 2009 12:31:18 -0800 [thread overview]
Message-ID: <E1N8lT3-0005uv-Op@mailserv.mta.ca> (raw)
In-Reply-To: <E1N8cy4-00005d-Gt@mailserv.mta.ca>
Vaughan Pratt wrote:
> Such a result [slicker proof of Euclid's Proposition 5] would register about 2 on the New York Times' Richter
> scale of earthshaking mathematical results, were it not for the fact
> that it was first noticed by a computer (so the story went).
True to form I neglected to expand on "so the story went" -- Pappus
noticed the same thing around 320 AD, cf
http://aleph0.clarku.edu/~djoyce/java/elements/bookI/propI5.html again.
Vaughan
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
next prev parent reply other threads:[~2009-11-12 20:31 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-11-12 7:07 Vaughan Pratt
2009-11-12 20:31 ` Vaughan Pratt [this message]
2009-11-12 20:59 ` Charles Wells
2009-11-12 21:14 ` Prof. Peter Johnstone
2009-11-13 8:15 ` Vaughan Pratt
2009-11-13 21:49 ` Prof. Peter Johnstone
2009-11-14 19:37 ` to PTJ Joyal, André
2009-11-14 22:20 ` Lambek's lemma Vaughan Pratt
2009-11-13 10:07 ` Steve Vickers
2009-11-15 17:20 ` to PTJ burroni
2009-11-16 11:25 ` Ronnie Brown
2009-11-15 21:07 ` Andrej Bauer
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=E1N8lT3-0005uv-Op@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).