Finite and infinite, between mathematics and computer science
Fini et infini, entre mathématiques et informatique
Résumé
This text offers reflections on the role of the notion of infinity in computer science, particularly at the interface between mathematics and computer science, while also addressing the didactical issues it raises. This epistemological inquiry is broad in scope; here, we focus specifically on the notion of enumeration, which, as we shall see, is closely related to the concept of potential infinity at the crossroads of mathematics and computer science, and constitutes a highly relevant didactical issue for secondary education.
Ce texte propose des éléments de réflexion sur la place de la notion d’infini en informatique, et plus particulièrement à l’interface des mathématiques et de l’informatique, tout en questionnant les aspects didactiques que cela peut soulever. Ce travail de nature épistémologique est très vaste, et ce texte propose un focus sur la notion d’énumération, dont nous verrons qu’elle est liée de près à la notion d’infini potentiel, à l’interface des mathématiques et de l’informatique, et qu’elle est un enjeu didactique tout à fait pertinent pour l’enseignement secondaire.