Comment by loglog
11 hours ago
> Mathematics is about discovering and understanding the logical implications of assumed axioms under various inference rules.
That's like saying that programming is about producing valid programs in various programming languages.
It is though. I am not being edgy. Programming is about making valid programs, yes. I literally have no idea what else you might be gesturing towards.