@cyberia I don't understand why something being artificial makes it uninteresting

@cyberia I think this is what motivated Russel's Principia Mathematica

As I understand it, reinventing arithmetic from first principles turned out to be so much work that he just kinda gave up before he got to multiplication

@cyberia I tend to think of math much the same way I think of language

Ultimately, we make all these words up, but they still mean things, and there's value in making them mean the *right* thing for a given purpose

@cyberia further reading https://arxiv.org/abs/math/9404236

@clayote oh that looks interesting! what's your maths background if you don't mind my asking?

I just did it for my bachelor's and got interested in philosophy of maths in my free time

@cyberia degree in compsci

and I didn't end up even working with formal methods...

cyberia@cyberia@cybre.space@clayote sure, but computers have a purpose and a use other than just "being interesting", so it's worth something to keep them going

but pure maths on its own terms exists only to be interesting, and if it can't even do that, well...