We haven't done these simulations, but my bet is that we'll find that there are some selection pressures for our logic and our mathematics to be at least in the direction of truth.
Non abbiamo fatto queste simulazioni, ma credo fermamente che scopriremo pressioni selettive tendenti a dimostrare che logica e matematica siano per lo meno orientate in direzione della verità.