Matemáticos insurrectos

¿Qué criterios hacen que un número sea "factible"? Según Rohit Parikh, de la City University de Nueva York, que formuló una de las primeras teorías ultrafinitistas formales en los años setenta y propuso el concepto de "números factibles", lo esencial es mantener un vínculo con la actividad humana. "Es necesario establecer un límite en algún momento. Las cosas deben estar vinculadas con la actividad de los seres humanos. ¿Es un número realmente un objeto matemático si no puede ser nombrado, calculado, transmitido, almacenado o incluso individuado de manera coherente dentro de limitaciones físicas? Considera, por ejemplo, el número de Skewes, un número que surge en la teoría de números y es tan inmensamente grande que parece tener más dígitos de los que hay espacio en el universo. Fue valioso por varias razones, a pesar de que es absurdamente alto. Una razón fue mostrar hasta dónde pueden llegar las matemáticas en su búsqueda de certeza, y otra, comprobar que los resultados pueden ser verdaderos aunque no tengan utilidad en la práctica directa.