summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2018-01-30 18:06:01 (GMT)
committerDavid A. Madore <david+git@madore.org>2018-01-30 18:06:01 (GMT)
commit6f0487f2e2cb8d5eadc889997dc32b8d2e3ad309 (patch)
treebc4dd33e79305752916d953772b78f531ac5d1fc
parentf39b25060c2a5692b1f838b251a8a2cc7a338c88 (diff)
downloadinf105-6f0487f2e2cb8d5eadc889997dc32b8d2e3ad309.zip
inf105-6f0487f2e2cb8d5eadc889997dc32b8d2e3ad309.tar.gz
inf105-6f0487f2e2cb8d5eadc889997dc32b8d2e3ad309.tar.bz2
Add a remark on the point of the last exercise.
-rw-r--r--controle-20180206.tex12
1 files changed, 12 insertions, 0 deletions
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}
+
%