Indecibilidad matemática de un monstruo (por E. Carrère)
Una fórmula matemática es indecidible respecto a un conjunto dado de axiomas cuando ni la fórmula ni su negación se pueden demostrar a partir del conjunto de axiomas. El último sitio donde uno espera encontrarse […]