MacBookPro.lan 2026-4-17:4:44:26

This commit is contained in:
oskar
2026-04-17 04:44:27 +02:00
parent f2aaa00fa9
commit 474a4a3a12
5 changed files with 23 additions and 6 deletions
+2 -1
View File
@@ -40,7 +40,8 @@
"headers", "headers",
"omts-Tasks - Compact", "omts-Tasks - Compact",
"popup_preview_size", "popup_preview_size",
"linktree" "linktree",
"pdf_export"
], ],
"interfaceFontFamily": "CMU Bright,CMU Serif,FiraCode Nerd Font", "interfaceFontFamily": "CMU Bright,CMU Serif,FiraCode Nerd Font",
"textFontFamily": "CMU Sans Serif,CMU Serif,FiraCode Nerd Font", "textFontFamily": "CMU Sans Serif,CMU Serif,FiraCode Nerd Font",
+2 -1
View File
@@ -39,5 +39,6 @@
"templater-obsidian", "templater-obsidian",
"link-tree", "link-tree",
"obsidian-sequence-hotkeys", "obsidian-sequence-hotkeys",
"notebook-navigator" "notebook-navigator",
"obsidian-pandoc"
] ]
+9
View File
@@ -0,0 +1,9 @@
@media print {
.markdown-preview-view {
/* font-family: georgia, serif !important; */
font-family: "CMU Serif", serif;
}
}
+10 -4
View File
@@ -45,6 +45,12 @@ header-auto-numbering:
- = $n^{n}] \overset{(n\neq 2)}{\longrightarrow} n^{\neq n}] \to n'$ - = $n^{n}] \overset{(n\neq 2)}{\longrightarrow} n^{\neq n}] \to n'$
- On utilisera des analogies temporelles pour désigner le nombre de dérivations :
- "après 1 jour" pour "après une dérivation"
- "chaine âgée d'au moins 2 jour" pour "chaine issue de 2 dérivations successives"
- "après un certain temps" pour "après un certain nombre de dérivations"
# Propriétés # Propriétés
> [!proposition]+ conséquence du regroupement > [!proposition]+ conséquence du regroupement
@@ -75,7 +81,7 @@ header-auto-numbering:
## Théorèmes préliminaires ## Théorèmes préliminaires
> [!proposition]+ Théorème du jour 1 [[sources/1 - articles/Open problems in communication and computation (Cover, T. M., 1938-, Gopinath, B) (z-library.sk, 1lib.sk, z-lib.sk).pdf#page=185&rect=12,336,372,470|p.185]] > [!proposition]+ Théorème du jour 1
> Les morceaux de type : > Les morceaux de type :
> 1. $,ax,bx,$ > 1. $,ax,bx,$
> 2. $x^{\geq 4}$ > 2. $x^{\geq 4}$
@@ -100,7 +106,7 @@ header-auto-numbering:
> > Cela montre bien qu'aucune de ces formes ne peut exister après dérivation. > > Cela montre bien qu'aucune de ces formes ne peut exister après dérivation.
^thm-jour-1 ^thm-jour-1
> [!proposition]+ Théorème du jour 2 [[sources/1 - articles/Open problems in communication and computation (Cover, T. M., 1938-, Gopinath, B) (z-library.sk, 1lib.sk, z-lib.sk).pdf#page=185&rect=12,225,373,331|p.185]] > [!proposition]+ Théorème du jour 2
> - Aucun chiffre $\geq 4$ ne peut apparaître au jour 2 ou ensuite (sauf conservation d'un chiffre qui était déjà présent). > - Aucun chiffre $\geq 4$ ne peut apparaître au jour 2 ou ensuite (sauf conservation d'un chiffre qui était déjà présent).
> - Un morceau $3 X 3$ (en particulier $3^{3}$) ne peut pas apparaître dans aucune chaîne âgée d'au moins 2 jours. > - Un morceau $3 X 3$ (en particulier $3^{3}$) ne peut pas apparaître dans aucune chaîne âgée d'au moins 2 jours.
> >
@@ -111,7 +117,7 @@ header-auto-numbering:
> > On doit donc nécessairement parser $3X 3$ comme $,3x,3y,$. Pour obtenir $,3x,3y,$, on doit avoir obtenu $x^{3}y^{3}$ au jour précédent, ce qui est impossible dès le jour 1 (par le [[désintégration audioactive#^thm-jour-1|Théorème du jour 1]]). Cela montre bien que $3X 3$ est impossible dès le jour 2. > > On doit donc nécessairement parser $3X 3$ comme $,3x,3y,$. Pour obtenir $,3x,3y,$, on doit avoir obtenu $x^{3}y^{3}$ au jour précédent, ce qui est impossible dès le jour 1 (par le [[désintégration audioactive#^thm-jour-1|Théorème du jour 1]]). Cela montre bien que $3X 3$ est impossible dès le jour 2.
^thm-jour-2 ^thm-jour-2
> [!proposition]+ Théorème du début [[sources/1 - articles/Open problems in communication and computation (Cover, T. M., 1938-, Gopinath, B) (z-library.sk, 1lib.sk, z-lib.sk).pdf#page=185&rect=11,33,374,186|p.185]] > [!proposition]+ Théorème du début
> Soit $R$ un morceau d'une chaîne âgée de 2 jours ou plus. > Soit $R$ un morceau d'une chaîne âgée de 2 jours ou plus.
> Le début de ses descendants finira toujours par se constituer en l'un des cycles suivants : > Le début de ses descendants finira toujours par se constituer en l'un des cycles suivants :
> - $\overparen{[ \; ]} \longrightarrow [\;] \longrightarrow [\;] \longrightarrow \cdots$ > - $\overparen{[ \; ]} \longrightarrow [\;] \longrightarrow [\;] \longrightarrow \cdots$
@@ -426,7 +432,7 @@ Conway leur donne des noms d'éléments (de l'hydrogène à l'uranium, ce qui fa
> > [!démonstration]- Démonstration > > [!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. > > 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. Cela est également montré par la table des élément. > > 2. Cela est également montré par la table des élément.
> > En effet, on remarque que > > En effet, on remarque que pour tous les atomes (sauf l'hydrogène),
Binary file not shown.