L'univers ne saurait être une simulation informatique selon des mathématiciens