mercredi 15 avril 2020

Lemme de König


Le lemme de König est un résultat plutôt lugubre de la théorie des graphes, établi par le mathématicien hongrois Dénes König en 1927. Il énonce que « tout arbre infini à branchement fini possède une branche infinie — que l'on peut utiliser notamment pour se pendre ».

(Włodzisław Szczur, Mathématique du néant)

Aucun commentaire:

Enregistrer un commentaire