diff --git a/semester3/ti/parts/04_computability/01_reduction.tex b/semester3/ti/parts/04_computability/01_reduction.tex
index 99c9959..c35880a 100644
--- a/semester3/ti/parts/04_computability/01_reduction.tex
+++ b/semester3/ti/parts/04_computability/01_reduction.tex
@@ -1,5 +1,6 @@
 \newpage
 \subsection{Die Methode der Reduktion}
+% TODO: Add guide for reducing languages
 \fancydef{Rekursiv reduzierbare Sprache} Eine Sprache $L_1 \subseteq \word_1$ ist auf $L_2 \subseteq \word_2$ rekursiv reduzierbar, geschrieben $L_1 \leq_R L_2$,
 falls $L_2 \in \cL_R \Rightarrow L_1 \in \cL_R$.
 
diff --git a/semester3/ti/parts/04_computability/02_rice.tex b/semester3/ti/parts/04_computability/02_rice.tex
new file mode 100644
index 0000000..7a10a39
--- /dev/null
+++ b/semester3/ti/parts/04_computability/02_rice.tex
@@ -0,0 +1,18 @@
+\subsection{Der Satz von Rice}
+\inlinedef $L$ heisst \bi{semantisch nichttriviales Entscheidungsproblem über Turingmaschinen}, falls folgende Bedingungen gelten:
+\begin{enumerate}[label=(\roman*)]
+    \item Es gibt eine TM $M_1$, so dass $\text{Kod}(M_1) \in L$ (also $L \neq \emptyset$)
+    \item Es gibt eine TM $M_2$, so dass $\text{Kod}(M_2) \notin L$ (also sind nicht alle Kodierungen in $L$)
+    \item für zwei TM $A$ und $B$: $L(A) = L(B) \Rightarrow \text{Kod}(A) \in L \Leftrightarrow \text{Kod}(B) \in L$
+\end{enumerate}
+
+Sei $L_{H, \lambda} = \{ \text{Kod}(M) \divides M \text{ hält auf } \lambda \}$ ein spezifisches Halteproblem.
+
+\inlinelemma $L_{H, \lambda} \notin \cL_R$
+\inlineproof Auf Seite 146 im Buch (= 159 im PDF)
+
+\begin{theorem}[]{Satz von Rice}
+    Jedes semantisch nichttriviale Entscheidungsproblem über Turingmaschinen ist unentscheidbar.
+\end{theorem}
+\inlineproof Ausführlich im Buch auf Seiten 146 - 149 beschrieben (= 159 - 162 im PDF)
+\stepcounter{subsection}
diff --git a/semester3/ti/parts/04_computability/03_kolmogorov.tex b/semester3/ti/parts/04_computability/03_kolmogorov.tex
new file mode 100644
index 0000000..01ce6fc
--- /dev/null
+++ b/semester3/ti/parts/04_computability/03_kolmogorov.tex
@@ -0,0 +1,6 @@
+\subsection{Die Methode der Kolmogorov-Komplexität}
+\inlinetheorem Das Probelem, für jedes $x \in \wordbool$ die Kolmogorov-Komplexität $K(x)$ von $x$ zu berechnen ist algorithmisch unlösbar.
+
+\inlinelemma Falls $L_H \in \cL_R$, dann existiert ein Algorithmus zur Berechnung der Kolmogorov-Komplexität $K(x)$ für jedes $x\in \wordbool$
+
+% TODO: See if we need to do these kinds of proofs and if so, elaborate
diff --git a/semester3/ti/parts/05_complexity/00_intro.tex b/semester3/ti/parts/05_complexity/00_intro.tex
new file mode 100644
index 0000000..e69de29
diff --git a/semester3/ti/ti-summary.pdf b/semester3/ti/ti-summary.pdf
index 56b3921..f1ec0a1 100644
Binary files a/semester3/ti/ti-summary.pdf and b/semester3/ti/ti-summary.pdf differ
diff --git a/semester3/ti/ti-summary.tex b/semester3/ti/ti-summary.tex
index 11e1508..617b242 100644
--- a/semester3/ti/ti-summary.tex
+++ b/semester3/ti/ti-summary.tex
@@ -96,6 +96,8 @@
 \stepcounter{subsection}
 \input{parts/04_computability/00_intro.tex}
 \input{parts/04_computability/01_reduction.tex}
+\input{parts/04_computability/02_rice.tex}
+\input{parts/04_computability/03_kolmogorov.tex}
 
 
 \end{document}