9 ms·
> Mathematics is about discovering and understanding the logical implications of assumed axioms under various inference rules. That's like saying that programm
by loglog 7d 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.
- adastra22 7d agoIt 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.