¿Existe una propiedad que se conoce para ser satisfecho únicamente por un número entero, sino que este establecimiento no ofrece un medio por el cual para calcular este número? Me pregunto porque este número podría ser indescriptiblemente grande.
Estaba leyendo las Conjeturas que se han refutado con muy grande contraejemplos? , ¿existe una conjetura que se sabe que tiene un contraejemplo, pero que no ha sido encontrado, y donde no hay un "obligado" en la magnitud esperada de esta entero?
Es allí conoce algo acerca de cómo el entero más grande que es expressable de n símbolos, crece con n?
