I think mathematics could be defined as that part of philosophy which is self-evident and universal. The value of Pi isn't contingent?
Aliens may have different biochemistry, but it would be made from the same chemical elements as ours. Likewise their formal systems may be wildly different from ours, but they will still be based on form (even implication is ultimately a very simple formal structure. Math doesn't even require causality as a prerequisite!)
Last but not least. many people (Kurt Gödel among them) believe that mathematical thought is actually perception of real phenomenon in a "higher" plane of reality, which, if true, seems to me to imply that alien mathematicians would be perceiving the same phenomenon as humans, literally. In this view, the "truths of mathematics" are literally the same "objects" for them and for us.
Aliens may have different biochemistry, but it would be made from the same chemical elements as ours. Likewise their formal systems may be wildly different from ours, but they will still be based on form (even implication is ultimately a very simple formal structure. Math doesn't even require causality as a prerequisite!)
Last but not least. many people (Kurt Gödel among them) believe that mathematical thought is actually perception of real phenomenon in a "higher" plane of reality, which, if true, seems to me to imply that alien mathematicians would be perceiving the same phenomenon as humans, literally. In this view, the "truths of mathematics" are literally the same "objects" for them and for us.