Noot over onafheid analyse toegevoegd

1 files changed, 11 insertions, 0 deletions

diff --git a/analyse.tex b/analyse.tex
index 0c9b612..a441f80 100644
--- a/analyse.tex
+++ b/analyse.tex
@@ -134,5 +134,16 @@ $$\lambda^R=\lambda$$
 	\end{prooftree}
 	$$
 
+	%FIXME
+	NB: dit bewijs is overduidelijk niet af. We gaan de afleidingsboom
+	automatisch genereren, dit is nog maar een begin. Het programma, dat van de
+	Esolang wiki afkomstig is~\cite{esolang:prog}, werkt helaas niet voor strings
+	met minder dan twee karakters. In het geval van de lege string wordt geen
+	output gegeven; in het geval van een string van één karakter crasht het
+	programma. We zullen ofwel dit programma aanpassen, zodat het wel werkt,
+	ofwel een ander programma bekijken. In het laatste geval zullen we nog steeds
+	een programma nemen waar we iets inductief over kunnen bewijzen, zoals het
+	laatste voorbeeld uit \autoref{sec:intro:exmp}.
+
 	%todo afmaken
 \end{proof}