Return-Path: X-Original-To: jtadeusz@april.org Delivered-To: jtadeusz@april.org Received: from localhost (unknown [192.168.2.16]) by pavot.april.org (Postfix) with ESMTP id 67C9211C150D; Fri, 25 Apr 2014 14:27:14 +0200 (CEST) Received: from pavot.april.org ([192.168.2.17]) by localhost (spamvir.april.org [192.168.2.16]) (amavisd-new, port 10024) with ESMTP id i-1Ns8VBDGX2; Fri, 25 Apr 2014 14:27:14 +0200 (CEST) Received: by pavot.april.org (Postfix, from userid 102) id BD96D1100253; Fri, 25 Apr 2014 14:27:10 +0200 (CEST) Received: from localhost (unknown [192.168.2.16]) by pavot.april.org (Postfix) with ESMTP id 092261100016 for ; Fri, 25 Apr 2014 14:27:05 +0200 (CEST) Received: from pavot.april.org ([192.168.2.17]) by localhost (spamvir.april.org [192.168.2.16]) (amavisd-new, port 10024) with ESMTP id lPpkKehOZXHn for ; Fri, 25 Apr 2014 14:26:58 +0200 (CEST) Received: from maiev.nerim.net (smtp-155-friday.nerim.net [194.79.134.155]) by pavot.april.org (Postfix) with ESMTP id B211D1530D1D for ; Fri, 25 Apr 2014 14:26:58 +0200 (CEST) Received: from tui.pi-et-ro.net (tui.pi-et-ro.net [213.41.240.245]) by maiev.nerim.net (Postfix) with ESMTP id 4784B2E032 for ; Fri, 25 Apr 2014 14:26:58 +0200 (CEST) Received: from [192.168.100.19] (unknown [192.168.100.19]) by tui.pi-et-ro.net (Postfix) with ESMTP id 02B0E53ACC for ; Fri, 25 Apr 2014 14:26:57 +0200 (CEST) Message-ID: <535A553E.6070600@pi-et-ro.net> Date: Fri, 25 Apr 2014 14:29:50 +0200 From: Louis-Maurice De Sousa User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131103 Icedove/17.0.10 MIME-Version: 1.0 To: educ@april.org References: <1720129235.115105033.1398341920624.JavaMail.root@zimbra18-e3.priv.proxad.net> <53590B3F.8010404@chemouil.fr> <5359126A.1050308@remiboulle.fr> In-Reply-To: <5359126A.1050308@remiboulle.fr> Subject: =?UTF-8?B?UmU6IFJlwqA6IFJlOiBSZcKgOiBSZTogUmXCoDogUmU6IFtFRFVD?= =?UTF-8?B?XQ==?= =?UTF-8?Q?Comment_breveter_un_th=C3=A9or=C3=A8me?= =?UTF-8?Q?_=3F?= X-Loop: educ@april.org X-Sequence: 5832 Errors-to: educ-owner@april.org Precedence: list Precedence: bulk Sender: educ-request@april.org X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Content-type: multipart/mixed; boundary="----------=_1398428827-19711-390" X-Length: 4137 Status: R X-Status: NT X-KMail-EncryptionState: X-KMail-SignatureState: X-KMail-MDN-Sent: X-UID: 0 This is a multi-part message in MIME format... ------------=_1398428827-19711-390 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Le 24/04/2014 15:32, Rémi Boulle a écrit : > Le 24/04/2014 15:01, David Chemouil a écrit : >> (*) Je crois que la question est plutôt : peut-on avoir un monopole >> d'exploitation sur un théorème ? > > Exactement :-) > L'objet du post initial était plus une accroche qu'autre chose. Ou en inversant la proposition de départ, « Pourquoi, et avec quelles arguties, les mathématiques sont-elles sorties du système de brevets ? » Une référence à « la sage décision du Congrès » dont parle Donald Knuth m'intéresserait au plus au point : http://www.ffii.fr/citations.html?lang=fr On peut imaginer que Rémi démarre une démonstration par l'absurde. Il faut bien avouer que le sieur Bill Gates a imposer un système absurde. :-) > Vous > pouvez ranger vos fusils ;-) Yep :-) -- Louis-Maurice ------------=_1398428827-19711-390 Content-Type: text/plain; charset="UTF-8"; name="message-footer.txt" Content-Disposition: inline; filename="message-footer.txt" Content-Transfer-Encoding: 8bit -- Pour gérer votre abonnement à la liste educ et vos informations personnelles : http://listes.april.org/wws/info/educ ------------=_1398428827-19711-390--