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.
Não fizemos essas simulações, mas aposto que vamos descobrir que existem pressões de seleção  para a nossa lógica e nossa matemática para estarem, pelo menos,  na direção da verdade.