Re: Release plans

[A Soare <alinsoar@voila.fr>]

> >>> 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