Logique, pensée, machine Daniel Andler 01 juillet 1987 La programamtion pose un problème intéressant: elle est en attente d'une théorie - que certaines recherches permettent d'espérer. Or ces recherches sont fondées sur des travaux déjà anciens de logique pure, de nature particulièrement spéculative et apparemment éloignés de toute application. Avant…
