La raisonnement par récurrence peut-il être effectué par un ordinateur ?
Répondre à la discussion
Affichage des résultats 1 à 2 sur 2

La raisonnement par récurrence peut-il être effectué par un ordinateur ?



  1. 12/07/2020, 09h54 #1
    andretou

    La raisonnement par récurrence peut-il être effectué par un ordinateur ?


    ------

    Bonjour à tous
    Je souhaiterais savoir s'il existe un algorithme capable d'effectuer un raisonnement par récurrence pour toute proposition arithmétique.
    Merci d'avance pour vos réponses

    -----
    La grossièreté et l'invective sont les armes préférées d'une pensée impuissante.
  2. 12/07/2020, 10h21 #2
    Médiat

    Re : La raisonnement par récurrence peut-il être effectué par un ordinateur ?

    Bonjour,

    Voir Coq
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse
« transformations | cerce trigonométrique »

Discussions similaires

  1. Raisonnement par récurrence
    Par diantvort68 dans le forum Mathématiques du collège et du lycée
    Réponses: 3
    Dernier message: 03/10/2015, 16h11
  2. raisonnement par récurrence
    Par bluemonochrom dans le forum Mathématiques du collège et du lycée
    Réponses: 1
    Dernier message: 05/11/2013, 21h38
  3. raisonnement par recurrence T S
    Par invite877464a4 dans le forum Mathématiques du collège et du lycée
    Réponses: 2
    Dernier message: 11/09/2011, 20h47
  4. dans quelles conditions l'adresse IP d'un ordinateur peut-elle être connue ?
    Par invite3fa39171 dans le forum Internet - Réseau - Sécurité générale
    Réponses: 15
    Dernier message: 15/04/2009, 00h37
  5. — Raisonnement par récurrence
    Par invite5c80985b dans le forum Mathématiques du supérieur
    Réponses: 15
    Dernier message: 24/01/2004, 11h28