english: 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_english: Ešte sme neurobili takéto simulácie, ale domnievam sa, že zistíme, že sú nejaké tlaky výberu pre našu logiku a matematiku byť aspoň nasmerovaný k pravde.