Re: Release plans

[A Soare]

> >>> 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? ;-)
> > 
> > Maybe, I do not know. Induction is surely.
> 
> Maybe this is not the place for math education, but you are missing one 
> piece to make it induction:
> 
> - There should be something that asserts that the condition holds also 
> for next step.
> 
> It might happen even to you that you meat a person who uses Emacs on 
> windows ...
> 


Sure , you are right . A good thing for you to do is to read my code of 
indentation 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 some 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 étudiée en philosophie ; c'est une démarche intellectuelle 
familière qui consiste à procéder par inférence probable, c'est-à-dire à 
déduire des lois par généralisation des observations. Par exemple, en l'absence 
de toute connaissance scientifique en astronomie, la plupart des gens 
s'attendent à voir le Soleil se lever le lendemain matin. Au sein du travail 
scientifique, et à condition de bien en mesurer les limites, l'induction peut 
trouver sa place. Par exemple, l'accumulation d'études monographiques peut 
conduire à formuler, par généralisation, des propositions relatives au 
changement social. Mais il ne s'agit pas là d'inductivisme, car les chercheurs 
sont orientés dans leurs observations monographiques par une problématique 
théorique qui guide leur construction des faits.
En mathématiques, en logique et en informatique, l'induction complète, 
aujourd'hui très souvent abrégée en induction, est une autre façon de désigner 
la récurrence : aussi bien le raisonnement par récurrence que les définitions 
par récurrence.


L'induction en revanche génère du sens en passant des faits à la loi, du 
particulier au général.


____________________________________________________

Avant de prendre le volant, repérez votre itinéraire et visualisez le trafic ! 
http://itineraire.voila.fr/itineraire.html