Ch03.11: Conséquence Point fixe UCL-INGI#34

gillesngongang · Apr 9, 2019 · 299a6a0 · 299a6a0
1 parent 42d2e99
commit 299a6a0
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/03_ResultatsFondamentaux.tex b/03_ResultatsFondamentaux.tex
@@ -950,6 +950,18 @@ \section{Théorème du point fixe}
 		\end{myrem}
 \end{proof}
 
+\begin{myrem}[Conséquences Point fixe]
+
+Grâce à ce théorème qui se base sur l'unique propriété de S, nous pouvons démontrer plein de choses comme:
+\begin{itemize}
+   \item HALT non-calculable
+   \item Le théorème de Rice
+   \item Le théorème de Hoare-Allison via la démonstration de HALT non-calculable
+\end{itemize}
+Le théorème du point fixe c'est la base de la calculabilité. Il fixe toutes les limites de la calculabilité.
+
+\end{myrem}
+
 \begin{myrem}[Démonstration du théorème de Rice grâce au point fixe]
   À l'aide du point fixe, on peut démontrer plus simplement le théorème de Rice: