oskar/cours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

MacBookPro.lan 2026-4-16:17:55:35

Browse Source
This commit is contained in:
oskar
2026-04-16 17:55:36 +02:00
parent 90537b3181
commit 636281b174
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
désintégration audioactive.md
+7 -2
View File
@@ -416,12 +416,17 @@ Conway leur donne des noms d'éléments (de l'hydrogène à l'uranium, ce qui fa
## Théorèmes ## Théorèmes
> [!proposition]+ Théorème chimique > [!proposition]+ Théorème chimique
> 1. les descendents de chacun des 92 éléments sont des composés de ces éléments > 1. les descendents de chacun des 92 éléments sont des composés de ces éléments
> Autrement dit : $\forall A \text{ élément},\quad A \longrightarrow X_1\cdot X_2\cdot \cdots \quad \text{ où }X_1,X_2,\dots \text{ sont des éléments}$ > Autrement dit : $\forall A \text{ élément},\quad A \longrightarrow X_1\cdot X_2\cdot \cdots \quad \text{ où }X_1,X_2,\dots \text{ sont des éléments}$
> 2. Tous les déscendants suffisament âgés de chacun des éléments (autres que l'Hydrogène $22$) contiennent simultanément les 92 éléments. > 2. Tous les descendants suffisament âgés de chacun des éléments (autres que l'Hydrogène $22$) contiennent simultanément les 92 éléments.
> Autrement dit : $\forall A \text{ élément},\quad \exists n\in \mathbb{N},\quad A \longrightarrow^{(n)} X \quad \text{où } X \text{ contient tous les 92 éléments}$ > Autrement dit : $\forall A \text{ élément},\quad \exists n\in \mathbb{N},\quad A \longrightarrow^{(n)} X \quad \text{où } X \text{ contient tous les 92 éléments}$
> 3. Les descendants de toutes les chaînes autres que $[\;]$ et $[22]$ finissent par contenir les 92 éléments simultanément.
>
> > [!démonstration]- Démonstration
> > 1. Cela est montré par la table des éléments donnée plus haut. Le lecteur sceptique pourra vérifier la correction des dérivations.
> > 2.