Permanently Deleted

  • comi [he/him]
    ·
    3 years ago

    But does one single thing in nature cares about a+(-a)=0 :thonk-cri:

      • comi [he/him]
        ·
        3 years ago

        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:

          • comi [he/him]
            ·
            3 years ago

            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:

              • comi [he/him]
                ·
                3 years ago

                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: