Récemment, un de mes amis (travaillant dans TCS) a mentionné dans une conversation qu '"il voulait voir / connaître tous (ou autant que possible) les beaux résultats dans TCS au cours de sa vie". Cela m'a fait me questionner sur les beaux résultats dans ce domaine et donc sur la motivation pour la question suivante:
Quels résultats (ou idées), à votre avis, sont beaux en informatique théorique? Ce serait formidable si vous mentionniez également la raison. [Serait également très bien même si les idées proviennent des mathématiques, mais ont suscité de l'intérêt et trouvé des utilisations dans TCS]
Je commencerais par une réponse comme argument diagonal de Cantor parce que c'est un résultat simple, élégant et pourtant puissant.