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: Bunun benzetimlerini yapmadık, ama  iddiasına varım ki mantığımız ve matematik arasında en azından gerçeğin yönünde olmak için bazı seçilim baskıları var.