Recientemente, un amigo mío (trabajando en TCS) mencionó en una conversación que "quería ver / saber todo (o la mayor cantidad posible) de los hermosos resultados en TCS en su vida". Esto me hizo preguntarme sobre los hermosos resultados en esta área y, por lo tanto, la motivación para la siguiente pregunta:
¿Qué resultados (o ideas), en su opinión, son hermosos en la informática teórica? Sería genial si mencionaras la razón también. [También estaría bien incluso si las ideas se originan en las matemáticas, pero han despertado interés y encontrado usos en TCS]
Comenzaría con una respuesta como el argumento diagonal de Cantor porque es simple, elegante y, sin embargo, un resultado poderoso.