• Buddahriffic@lemmy.world
      link
      fedilink
      arrow-up
      3
      ·
      9 hours ago

      Or saying that the only global maps we should accept are ones projected onto spheres. Same thing for partial global maps above a certain size threshold (projected onto partial spheres).

      I’m curious what that threshold is. Like how long do North/South roads need to be before there’s a non-trivial divergence towards the equator? How far do parallel East/West roads need to be before one is noticeably longer if measured from the same longitudes?

  • affiliate@lemmy.world
    link
    fedilink
    arrow-up
    2
    ·
    3 hours ago

    the secret is that all spaces are actually euclidean, due to the whitney embedding theorem.

    (not really though. i just wanted to take my turn at improperly stating famous math results on the internet.)