seeing more math on the TL recently. i haven't mathposted in a long time but i'm still happy to field math questions from twitter peeps, just reply here or tag me or w/e. big meaty philosophical questions like "wtf are real numbers anyway" would be particularly fun for me rn
Conversation
If hyperbolic geometry is linear geometry with fewer assumptions are there cases where the assumptions of hyperbolic models aren't applicable.
2
Replying to
it’s not. to get hypervbolic geometry you start with euclidean geometry, remove an assumption, then add a new assumption. without the new assumption there are other possibilities - to give a simple example, elliptic geometry, the geometry of the surface of a sphere
Replying to
Oh thank you dude, well I should have studied before I asked but if such assumptions are conditional instead of a global rule we can model them all with one formula, but are there similar edge cases where right angles don't need to be equivalent or lines don't need to connect
1
2
Not a question, but I figured I was calling this hyperbolic because they spent two pages in textbook on noneucledian, and the next chapter was all reducing assumptions of rienmann sums so I had blended them, but in that I found first order logic so I'm checking tarskis axioms now
1