Et ainsi de suite à l'infini

de l'induction à la récurrence

Le premier raisonnement par récurrence rigoureux connu remonte à Platon. Pourtant, les mathématiciens se sont contentés d'inductions incomplètes pendant longtemps. Même après qu'il ait été formalisé par Pascal, il a fallu encore plus d'un siècle pour que le raisonnement par récurrence soit couramment employé. Voir aussi Triangle de Pascal Fermat et l'arithmétique Symbolisme et axiomes de Peano

public : lycéens et étudiants

fichier pdf  ►