From 6f0487f2e2cb8d5eadc889997dc32b8d2e3ad309 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Tue, 30 Jan 2018 19:06:01 +0100
Subject: Add a remark on the point of the last exercise.

---
 controle-20180206.tex | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'controle-20180206.tex')

diff --git a/controle-20180206.tex b/controle-20180206.tex
index 3db067b..a97f106 100644
--- a/controle-20180206.tex
+++ b/controle-20180206.tex
@@ -664,6 +664,18 @@ disjoints et semi-décidables.  On a donc bien montré l'existence de
 langages semi-décidables disjoints et calculablement inséparables.
 \end{corrige}
 
+\smallskip
+
+{\footnotesize (Remarque culturelle :\quad La construction de langages
+  semi-décidables disjoints mais calculablement inséparables a des
+  applications en logique : de même que le théorème de Turing sur le
+  problème de l'arrêt était, historiquement destiné à donner une
+  démonstration différente du théorème de Gödel sur l'existence
+  d'énoncés mathématiques indécidables, de même, l'énoncé qu'on vient
+  de prouver peut servir par des techniques analogues à montrer qu'il
+  existe des énoncés « indécidablement indécidables », c'est-à-dire
+  que leur indécidabilité est elle-même indécidable.)\par}
+
 
 
 %
-- 
cgit v1.2.3

