Simulation-based mathematics