Not OP but I think they are making a slightly different claim — that the univers...

rdtsc 5 months ago | parent | context | favorite | on: Mathematicians disagree on the essential structure...

Not OP but I think they are making a slightly different claim — that the universe sort of dictates or guides the mathematical structure we discover. Not whether they hold everywhere or not.