Page 1499 - Anatema - Neal Stephenson
P. 1499
circunstancias es uno de los núcleos a partir de que se
desarrolla Anatema.
Como explicaba Hao Wang, el modelo general de Gödel
para pensar sobre el platonismo matemático era el
siguiente:
1. Las entidades que son objeto de la matemática
existen independientemente de la percepción,
definición y construcción humanas.
2. La mente humana es capaz de percibir tales
entidades.
El punto (1) a muchos no les parece controvertido y lo
creen, en mayor o menor medida, todos los matemáticos y
también muchos que adoptan la aproximación de «sentido
común» a esas preguntas; por ejemplo, cualquiera que
crea que 3 era un número primo hace mil millones de años,
está en cierta medida de acuerdo con el punto (1).
Cualquiera que defienda el punto (1) debe, sin embargo,
dar una explicación de cómo la mente humana es capaz de
obtener conocimiento sobre entidades matemáticas que,
según (1), no son espaciotemporales y no mantienen una
relación causal normal con las entidades que conforman el
universo físico. Se han propuesto varios argumentos para
explicar esa paradoja aparente; para un resumen útil,
véase la entrada de Mark Balaguer sobre «Platonism in
Metaphysics» en la Stanford Encyclopedia of Philosophy y,
1499
