Las “matemáticas inversas” arrojan luz sobre por qué los problemas difíciles son difíciles
El uso de técnicas metamatemáticas ha permitido demostrar que ciertos teoremas que parecen distintos son, en realidad, lógicamente equivalentes. Un artículo de Ben Brubaker. Historia original reimpresa con permiso de Quanta Magazine, una publicación editorialmente independiente respaldada por la Fundación Simons. En lo que respecta a los problemas difíciles, los […]