Random thought: I think we humans named “negative“ and “positive“ curvature backwards. Positive curvature decreases the distance between objects as they seem to move apart. Negative curvature increases the distance between objects as they seem to move apart. I feel like a hypothetical world where the names “negative“ and “positive“ had been swapped at inception would be more human-intuitive.
Random thought: I think we humans named “negative“ and “positive“ curvature backwards. Positive curvature decreases the distance between objects as they seem to move apart. Negative curvature increases the distance between objects as they seem to move apart. I feel like a hypothetical world where the names “negative“ and “positive“ had been swapped at inception would be more human-intuitive.