Il film Matrix e il problema ontologico della Matematica