Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> Mathlib defines cos x = (exp(ix)+exp(-ix))/2

I am not understanding why you think this is at all relevant.

Its like saying a^2 + b^2 = c^2 is not geometric because it doesnt make reference to triangles. But at the end of the day, everyone understands Pythagorean theorem to be an inherently geometric equation, because geomtry is just equations and numbers.

I realize to some extent this is all subjective, but to me its insane to claim that cos is not an inherently geometric function. Agree to disagree.




You're analogy is flawed. Pythagoras' theorem is about right triangles. "a^2+b^2=c^2" isn't about triangles, it's not even a theorem, it's simply an equation (typically a diophantine one) that is satisfied by some numbers but not others. Something which typically belongs to number theory. Obviously the two things are closely related (which is the beauty of mathematics - there are a lot of connections between very different fields).

But really, I'll refer again to the part of my previous reply where I contextualise why I wrote what I wrote and how that answers the question of whether pi is somehow arbitrary due to the fact that we usually think of space as Euclidean: it's not.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: