Yeah, but it’s one of the starting axioms in math, if I remember correctly. Buoyancy is about pressures. but actually, if you think about it, vectors do be important, and -a is extension of them into scalars :thonk:
Well, goedel directly states I think that each set of axioms would contain unprovable statements in its language. But physics doesn’t do that as far as we know, so :thonk-cri:
But that’s exact issue in philosophy of science, why in the fuck does math work so well, when it can be written with very simple axioms, and it describes mainly cute models, not the world. And yet it’s there, waiting. :thonk-cri:
TLDR of my musings: do we discover math or invent it :thonk-cri:
deleted by creator
But does one single thing in nature cares about a+(-a)=0 :thonk-cri:
deleted by creator
Yeah, but it’s one of the starting axioms in math, if I remember correctly. Buoyancy is about pressures. but actually, if you think about it, vectors do be important, and -a is extension of them into scalars :thonk:
deleted by creator
Well, goedel directly states I think that each set of axioms would contain unprovable statements in its language. But physics doesn’t do that as far as we know, so :thonk-cri:
deleted by creator
But that’s exact issue in philosophy of science, why in the fuck does math work so well, when it can be written with very simple axioms, and it describes mainly cute models, not the world. And yet it’s there, waiting. :thonk-cri:
TLDR of my musings: do we discover math or invent it :thonk-cri:
deleted by creator