[TI] Fix compile errors

This commit is contained in:
2025-09-28 19:09:06 +02:00
parent 39378fbba7
commit e15100ce67

View File

@@ -42,4 +42,4 @@ Deshalb haben diese Wörter auch (meist) eine kleinere Kolmogorov-Komplexität.
\fancydef{$K(n)$ für $n \in \N$} Die \bi{Kolmogorov-Komplexität einer natürlichen Zahl $n$} ist $K(n) = K(\text{Bin}(n))$,
wobei $\text{Bin}(x) = \ceil{\log_2(x + 1)}$ % TODO: Verify correctness here
\inlinelemma Für jede Zahl $n \in \N - \{ 0 \}$ existiert ein Wort $w_n \in (\alphabets{bool})^n
\inlinelemma Für jede Zahl $n \in \N - \{ 0 \}$ existiert ein Wort $w_n \in (\alphabets{bool})^n$