categories - Category Theory list
 help / color / mirror / Atom feed
From: Dusko Pavlovic <Dusko.Pavlovic@comlab.ox.ac.uk>
To: Toby Bartels <toby+categories@ugcs.caltech.edu>, categories@mta.ca
Subject: Re:  patenting colimits?
Date: Thu, 28 May 2009 22:07:58 +0100 (BST)	[thread overview]
Message-ID: <E1M9qPt-0003GG-MZ@mailserv.mta.ca> (raw)

On Wed, 27 May 2009, Toby Bartels wrote:
>> i don't think that we published anything about this construction. the
>> patent description was written by the lawyer (a very bright woman, i think
>> with an MIT PhD, who now runs the world for google). some other things
>> that we didn't publish were perhaps closer to a mathematical result. but
>> the purpose of it all was to build software, not to publish mathematical
>> results.
>
> It's a shame if there were new mathematical results
> (perhaps, pace Steve Vickers's post, there weren't)
> that were published only in a patent application.

is publishing really the supreme purpose of mathematical results? it is
the main method to get an academic job, but academia itself is not a
purpose of itself.

mathematics and sciences are a good thing in at least two ways:

1) as a form of communication (collaboration) between people, and

2) as a source of benefits (better life, useful technologies)

the imperative of publishing evolved as a part of (1). are the current
publishing practices still serving their original purpose, to help
collaboration? or did we put the cart in front of the horse? does the
publishing scrutiny really improve sciences? (search, web, internet all
arose from largely unpublished results. some great ideas of category
theory did not hurry to get published. and the other way around...)

patenting evolved as a part of (2). it also deviated from its original
purpose, and now mostly hampers social benefits...

can such problems be solved on moral grounds, by saying "patenting is bad,
i won't patent"? some people think it can. both grothendieck and newton
said "publishing is bad, i won't publish". and did anything change? i
somehow don't think that it would change if i joined them.

better methods to solve these problems are sought than abstinence and
moralizing.

re
> It's a shame if there were new mathematical results
> (perhaps, pace Steve Vickers's post, there weren't)

i didn't think that they were research level mathematical results. so i am
impressed that steve vickers enumerates so many publications about them.

in any case, even our tool implementing these results predates the
publications that steve vickers mentions.

> Maybe they were too obvious to be worthy of publication,
> but then weren't they too obvious to be worthy of a patent?

you seem to have missed the main point of my previous post.

i described one of the most important patents in computing: the diffie
hellman key exchange. its mathematical content boils down to the
conjecture that discrete logarithms are computationally hard. this
mathematical content has been obvious to nearly anyone who tried to
compute discrete logarithms.

the point is that

** the novelty of a patent is not in the underlying math. (by law,
mathematics cannot be patented.)

** the novelty of a patent is in the "method and apparatus" extracted from
it. (the intent of a patent is not to protect knowledge, but an
application, a new way to use it.)

(gotta run)

-- dusko


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


             reply	other threads:[~2009-05-28 21:07 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-05-28 21:07 Dusko Pavlovic [this message]
  -- strict thread matches above, loose matches on Subject: below --
2009-06-02 10:38 Dusko Pavlovic
2009-06-02  8:51 Till Mossakowski
2009-05-30 12:07 Zinovy Diskin
2009-05-29 19:57 Dusko Pavlovic
2009-05-29  1:24 Toby Bartels
2009-05-28 15:49 Uwe.Wolter
2009-05-28  7:15 David Espinosa
2009-05-27 19:33 Toby Bartels
2009-05-27 19:22 Toby Bartels
2009-05-27 16:18 mjhealy
2009-05-27 16:12 David CHEMOUIL
2009-05-27 16:08 Steve Vickers
2009-05-27 11:29 zoran skoda
2009-05-27  7:28 David CHEMOUIL
2009-05-27  6:21 soloviev
2009-05-27  3:29 Zinovy Diskin
2009-05-27  2:53 David Spivak
2009-05-26  4:46 Dusko Pavlovic
2009-05-26  1:20 Eduardo J. Dubuc
2009-05-26  0:04 Toby Bartels
2009-05-26  0:04 Greg Meredith
2009-05-25 23:53 Michael Barr
2009-05-25 21:11 Toby Bartels
2009-05-25 18:53 Vaughan Pratt
2009-05-25 13:35 Ronnie Brown

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=E1M9qPt-0003GG-MZ@mailserv.mta.ca \
    --to=dusko.pavlovic@comlab.ox.ac.uk \
    --cc=categories@mta.ca \
    --cc=toby+categories@ugcs.caltech.edu \
    /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).