Merge pull request #78 from Jimvy/aa

Correction: ch03 Rice theorem
UCL-INGI · Jun 2, 2018 · 651848f · 651848f
2 parents b1b263b + 8f33818
commit 651848f
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.DS_Store b/.DS_Store
diff --git a/03_ResultatsFondamentaux.tex b/03_ResultatsFondamentaux.tex
@@ -749,7 +749,7 @@ \subsection{Analyse}
 		et qu'elle est décidable, \textbf{alors} il existe deux programmes calculant la
 		même fonction, mais l'un vérifie la propriété, et l'autre pas.
 
-	\item \textbf{Si} la propriété est vérifiée par un programme, mais pas tous,
+	\item \textbf{Si} une propriété de la fonction calculée par un programme est vérifiée par un programme, mais pas tous,
 		\textbf{alors} cette propriété ne peut-être décidée par un algorithme.
 
 	\item \textbf{S}'il existe un algorithme permettant de déterminer si un