Desde hace más de 50 años, los investigadores en teoría de la complejidad computacional han intentado convertir afirmaciones intuitivas como «el problema del viajante de comercio es difícil» en teoremas matemáticos irrefutables, con escaso éxito. Cada vez más, también buscan respuestas rigurosas a una pregunta relacionada y más difusa: ¿por qué no han tenido éxito sus demostraciones?
|
etiquetas: matemáticas inversas , teoremas , lijie chen 
#1 tul 
