par Patrick Dehornoy, université de Caen
Résumé :
Qu'il faille faire appel à l'infini pour démontrer des propriétés des objets infinis n'est pas bien étonnant. Par contre, qu'il faille parfois faire appel à l'infini pour démontrer des propriétés des objets finis, par exemple des propriétés des nombres entiers, est plus surprenant. On montrera pourtant sur quelques exemples que l'utilisation de l'infini, voire même celle de très bizarres et spéculatifs "hyper-infinis", peut permettre de démontrer, ou de découvrir, des propriétés nouvelles des objets finis.