Correctif #200

Par:
francoistonic

ven, 21/10/2016 - 18:39

Dans le numéro 200 de Programmez!, des caractères spéciaux ne sont pas passés à l'impression. Nous présentons nos excuses à nos lecteurs.

En page 42 :

Le problème rencontré par Pythagore était que √2 n’est pas un ratio et non Le problème rencontré par Pythagore était que n’est pas un ratio. 

En page 43, dans le paragraphe :

De son côté, A. Church dans son papier An Unsolvable Problem of Elementary Number Theory (Un problème insoluble de la théorie élémentaire des nombres) introduit le -calcul (lambda calcul), un calcul qui permet de formaliser

la définition, la composition et l’évaluation de fonctions (transformer une entrée en une sortie). En partant du -calcul, Church définit les entiers, l’addition, la multiplication etc. Il s’avère que pour toute lambda expression on 

peut construire une machine de Turing qui calcule la même valeur, et toute machine de Turing peut être transformée en une lambda expression équivalente. Le -calcul a donné naissance aux langages de programmation fonctionnels.

Il fallait lire :

λ-calcul et non -calcul

Et aussi en 3e colonne :

En tant qu’objet √2 n’existe pas ! Ce n’est pas un nombre, c’est un algorithme, un processus.

et non :

En tant qu’objet n’existe pas ! Ce n’est pas un nombre, c’est un algorithme, un processus.

Page 47 :
dans le paragraphe Recherche rapide, il fallait lire le texte avec les calculs suivants :
François Tonic