(no title)
karparov | 11 months ago
Math postulates a bunch of axioms and then studies what follows from them.
Natural science observes the world and tries to retroactively discover what laws could describe what we're seeing.
In math, the laws come first, the behavior follows from the laws. The laws are the ground truth.
In science, nature is the ground truth. The laws have to follow nature and are adjusted upon a mismatch.
(If there is a mismatch in math then you've made a mistake.)
auggierose|11 months ago
Which axioms are interesting? And why? That is nature.
Yes, proof from axioms is a cornerstone of math, but there are all sorts of axioms you could assume, and all sorts of proofs to do from them, but we don't care about most of them.
Math is about the discovery of the right axioms, and proof helps in establishing that these are indeed the right axioms.
lioeters|11 months ago
Who was it that said, "Mathematics is an experimental science."
> In his 1900 lectures, "Methods of Mathematical Physics," (posthumously published in 1935) Henri Poincaré argued that mathematicians weren't just constructing abstract systems; they were actively testing hypotheses and theories against observations and experimental data, much like physicists were doing at the time.
Whether to call it nature or reality, I think both science and mathematics are in pursuit of truth, whose ground is existence itself. The laws and theories are descriptions and attempts to understand that what is. They're developed, rewritten, and refined based on how closely they approach our observations and experience of it.
331c8c71|11 months ago
That's how math is communicated eventually but not necessarily how it's made (which is about exploration and discovery as well).
seadan83|11 months ago