Récurrence forte sans initialisation ?
Réponses
-
Help, Manu, il y a un bug !Quand je retourne sur cette discussion il n'y a plus que 2 messages qui apparaissent : le dernier de gebrane et ma réponse à ev !
-
Il y a deux pages
-
BonjourPeut-être faut-il lire ce qui suit :b) Si $n \in A$, deux cas s'imposent, en remarquant que $B\cap\{0\}=\emptyset$ : ou bien $n=0$, donc $S(0)$ est le successeur de $0$, donc il est dans $A$. Ou bien $n \in B$, de sorte que, par définition de $B$, il existe $p\in{}B$ tel que $n=S(p)$, d'où $S(n) =S(S(p))$, et donc $S(n) \in B$, soit $S(n) \in A$.Le chat ouvrit les yeux, le soleil y entra. Le chat ferma les yeux, le soleil y resta. Voilà pourquoi le soir, quand le chat se réveille, j'aperçois dans le noir deux morceaux de soleil. (Maurice Carême).
-
Merci pour la correction. Aussi la phrase ""donc S(0) est le successeur de 0"" laisse entendre que c'est une déduction alors que c'est une définition. En logique, je fais très attention aux mots car ce n'est pas mon fort.Le 😄 Farceur
-
Martial a dit :... et personne (même Dieu) ne peut t'empêcher de l'appeler $n-1$.
-
Merci, Thierry, pour cette correction. Comme d'hab j'ai voulu aller trop vite. En fait dans ma rédaction il suffisait, à la fin, de remplacer n par S(n).A noter que j'écris en français car chez moi il se passe un truc bizarre : dans tous les posts de ce fil, le latex ne compile pas... sauf dans le message de gebrane tout en haut de la page 2. Justement celui où il dit qu'il ne comprend rien à qu'est-ce que je dis. (Maintenant je comprends pourquoi il ne comprenait pas).@raoul.S : Tu crois que ça aussi c'est un coup de l'agent Smith ?
-
En haut de la page 2, c'est une image
-
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres