Biblioteca de mentes vacías

Cuando no hay un principio singular para determinar cuántos Xs hay en algún sitio en un tiempo dado, puede decirse que los Xs no pueden ser individuados como tales.
Lo que nos obliga a establecer unsistema de referencia que permita contar, es decir enumerar, lo que consideramos Xs y separar los Xs de los no-Xs.
En tan difícil situación se vinieron a encontrar los físicos y matemáticosneopositivistas, Russell, Whitehead y el Círculo de Viena, cuando los átomos elementales fueron desapareciendo como unidades indivisibles y las partículas-ondas-elementales surgían más y más en una físicadonde lo individual elemental desaparece detrás de unas experimentaciones que responden a unos conceptos-lógicos previos más que a unas realidades unitarias enumerables.
Estos conceptos-lógicos previosson productos de unas teorías que procuran modelizar la realidad según unas técnicas y metodologías adecuadas, y no obedecen siempre ni mucho menos a una unidad contable que pueda serindividualizada.26
Por otro lado, la pretendida perfección matemática de la Teoría de conjuntos tras el teorema de Gödel supuso el final del programa formalista de Hilbert de formalización matemática así como delintuicionismo de Brouwer.
La aritmética y las matemáticas, en definitiva, están sometidas a la capacidad ampliadora de la dinámica de la propia razón en su búsqueda del saber; en la superación de cadaconocimiento dado o tenido como tal. La ciencia, (Popper), no establece verdades, sino ampliaciones de conocimientos posibles acerca de lo real. La lógica de la razón es más amplia y creativa quecualquier sistema lógico-matemático; siempre en camino de ampliación futura. Como mucho antes había escrito Bachelard:
La aritmética no es, como tampoco, la geometría, una promoción natural de una razóninmutable. La Aritmética no está fundada en la razón. Es la doctrina de la razón la que está fundada en la aritmética elemental. Antes de saber contar apenas sabíamos qué era la razón. En general,...