From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: A Soare Newsgroups: gmane.emacs.devel Subject: Re: Release plans Date: Tue, 12 Aug 2008 22:51:43 +0200 (CEST) Message-ID: <9478980.746861218574303270.JavaMail.www@wwinf4623> Reply-To: alinsoar@voila.fr NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1218574345 4398 80.91.229.12 (12 Aug 2008 20:52:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 12 Aug 2008 20:52:25 +0000 (UTC) Cc: "Emacs Dev \[emacs-devel\]" To: "Lennart Borgman (gmail)" Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Aug 12 22:53:15 2008 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1KT0rY-0007EB-Uh for ged-emacs-devel@m.gmane.org; Tue, 12 Aug 2008 22:53:05 +0200 Original-Received: from localhost ([127.0.0.1]:57029 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1KT0qb-0005pc-IM for ged-emacs-devel@m.gmane.org; Tue, 12 Aug 2008 16:52:05 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1KT0qN-0005gr-Ku for emacs-devel@gnu.org; Tue, 12 Aug 2008 16:51:51 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1KT0qJ-0005ch-Iy for emacs-devel@gnu.org; Tue, 12 Aug 2008 16:51:51 -0400 Original-Received: from [199.232.76.173] (port=57496 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1KT0qJ-0005cM-BF for emacs-devel@gnu.org; Tue, 12 Aug 2008 16:51:47 -0400 Original-Received: from smtp2.voila.fr ([193.252.22.175]:5050 helo=smtp1.voila.fr) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1KT0qI-0002FP-Fn for emacs-devel@gnu.org; Tue, 12 Aug 2008 16:51:47 -0400 Original-Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf4106.voila.fr (SMTP Server) with ESMTP id 5C0C55800285; Tue, 12 Aug 2008 22:51:43 +0200 (CEST) Original-Received: from wwinf4623 (wwinf4623 [10.232.13.47]) by mwinf4106.voila.fr (SMTP Server) with ESMTP id 437355800283; Tue, 12 Aug 2008 22:51:43 +0200 (CEST) X-ME-UUID: 20080812205143276.437355800283@mwinf4106.voila.fr X-Originating-IP: [93.112.92.17] X-Wum-Nature: EMAIL-NATURE X-WUM-FROM: |~| X-WUM-TO: |~| X-WUM-CC: |~| X-WUM-REPLYTO: |~| X-me-spamlevel: not-spam X-me-spamrating: 42.626263 X-me-spamcause: OK, (13)(0000)gggruggvucftvghtrhhoucdtuddrvdejvddrfeelucetggdotefuucfrrhhofhhilhgvmecuoehnohhnvgeqnecuuegrihhlohhuthemuceftddtnecufghrlhcuvffnffculddufedmneesvcftvggtihhpihgvnhhtshculddquddttddmnegfnhhsuhgsucdluddttddm X-detected-kernel: by monty-python.gnu.org: Linux 2.4-2.6 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:102383 Archived-At: > >>> In my case the initial hypothesis is true; the general case is false: > >>> > >>> 1. initial: X1 X2 ... Xn do not use Emacs > >>> > >>> 2. general: nobody uses Emacs > >> > >> Is not that extrapolation rather than induction? ;-) > >=20 > > Maybe, I do not know. Induction is surely. >=20 > Maybe this is not the place for math education, but you are missing one= =20 > piece to make it induction: >=20 > - There should be something that asserts that the condition holds also=20 > for next step. >=20 > It might happen even to you that you meat a person who uses Emacs on=20 > windows ... >=20 Sure , you are right . A good thing for you to do is to read my code of ind= entation and to help me document it better before installing it. http://lists.gnu.org/archive/html/emacs-devel/2008-08/msg00437.html ***** >From my knowledge, induction has 2 steps: 1. prove that initial cond. is true. and suppose that it is also true for s= ome N 2. prove using these 2 propositions that it is also valid for N+1 I quote: http://fr.wikipedia.org/wiki/Induction l'induction est =C3=A9tudi=C3=A9e en philosophie ; c'est une d=C3=A9marche = intellectuelle famili=C3=A8re qui consiste =C3=A0 proc=C3=A9der par inf=C3= =A9rence probable, c'est-=C3=A0-dire =C3=A0 d=C3=A9duire des lois par g=C3= =A9n=C3=A9ralisation des observations. Par exemple, en l'absence de toute c= onnaissance scientifique en astronomie, la plupart des gens s'attendent =C3= =A0 voir le Soleil se lever le lendemain matin. Au sein du travail scientif= ique, et =C3=A0 condition de bien en mesurer les limites, l'induction peut = trouver sa place. Par exemple, l'accumulation d'=C3=A9tudes monographiques = peut conduire =C3=A0 formuler, par g=C3=A9n=C3=A9ralisation, des propositio= ns relatives au changement social. Mais il ne s'agit pas l=C3=A0 d'inductiv= isme, car les chercheurs sont orient=C3=A9s dans leurs observations monogra= phiques par une probl=C3=A9matique th=C3=A9orique qui guide leur constructi= on des faits. En math=C3=A9matiques, en logique et en informatique, l'induction compl=C3= =A8te, aujourd'hui tr=C3=A8s souvent abr=C3=A9g=C3=A9e en induction, est un= e autre fa=C3=A7on de d=C3=A9signer la r=C3=A9currence : aussi bien le rais= onnement par r=C3=A9currence que les d=C3=A9finitions par r=C3=A9currence. L'induction en revanche g=C3=A9n=C3=A8re du sens en passant des faits =C3= =A0 la loi, du particulier au g=C3=A9n=C3=A9ral. ____________________________________________________ Avant de prendre le volant, rep=C3=A9rez votre itin=C3=A9raire et visualise= z le trafic ! http://itineraire.voila.fr/itineraire.html