Itération et récursivité
Abstract
Dans le débat entre informaticiens, deux grandes familles de langages s'opposent : les impératifs, dont l'archétype est BASIC, et les récursifs, à la LISP. Plus que des langages, ce sont des formes de pensée : il y a ceux qui ont besoin de savoir comment on calcule un certain nombre, et ceux pour qui il suffit qu'il soit défini de manière précise. L'auteur voudrait montrer comment ceci est la résurgence en informatique d'un débat qui a agité la classe mathématique pendant près d'un siècle.
Origin : Explicit agreement for this submission