Conclusion du chapitre 18

Une fonction étrange

Nous avons montré qu'il existe des fonctions (mathématiquement bien définies) que l'on ne peut pas programmer en SCHEME. Cette conclusion n'est pas due à une quelconque limitation du pouvoir d'expression du langage SCHEME, mais est très générale. On peut démontrer, par des arguments analogues, l'impossibilité d'écrire un programme qui coderait le prédicat arretGaranti?, dans quelque langage que ce soit.

up previous
Up: No Title Previous: Résumé du chapitre 17

Eric.Wegrzynowski
Thu Mar 20 13:58:10 MET 1997