1. Qui est crédité d'avoir formulé ou popularisé le principe de la récursivité dans le contexte de l'informatique ?
Alonzo Church
Explication
Alonzo Church est souvent crédité pour avoir formalisé la notion de récursivité dans le cadre de la logique et de l'informatique, notamment avec sa théorie de la calculabilité. La source évoque la décomposition en sous-problèmes, qui est un fondement de la récursivité, mais ne mentionne pas explicitement l'auteur. Cependant, dans le contexte historique de l'informatique, Alonzo Church est une figure clé associée à la formalisation de la récursivité.