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
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