diff options
| -rw-r--r-- | transp-inf110-01-calc.tex | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/transp-inf110-01-calc.tex b/transp-inf110-01-calc.tex index 8bad0a5..694848c 100644 --- a/transp-inf110-01-calc.tex +++ b/transp-inf110-01-calc.tex @@ -5,6 +5,7 @@ \usepackage[shorthands=off,francais]{babel} \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} +\usepackage{lmodern} \DeclareUnicodeCharacter{00A0}{~} \DeclareUnicodeCharacter{2026}{...} \DeclareUnicodeCharacter{1E25}{\d{h}} @@ -1731,9 +1732,9 @@ Supposons par l'absurde $h$ est calculable : alors cette fonction (partielle) $v$ est calculable, disons $v = \varphi_c$. Si $\varphi_c(c)\downarrow$ alors $h(c,c)=1$ donc $v(c)\uparrow$, -c'est-à-dire $\varphi_c(c)\uparrow$, une contradiction. Si +c'est-à-dire $\varphi_c(c)\uparrow$, contradiction.\\ Si $\varphi_c(c)\uparrow$ alors $h(c,c)=0$ donc $v(c)\downarrow$, -c'est-à-dire $\varphi_c(c)\downarrow$, une contradiction.\qed +c'est-à-dire $\varphi_c(c)\downarrow$, contradiction.\qed \bigskip @@ -3566,7 +3567,7 @@ fonctions calculables au sens de Church-Turing. \bigskip Un ordinateur réel ne peut \alert{jamais faire plus} qu'une machine de -Turing (sauf p.-ê. : génération de hasard vrai). La question est de +Turing (sauf p.-ê. : faire du hasard vrai). La question est de savoir si le langage permet \alert{autant}. \bigskip |