3 ms·
I was thinking about this in the shower the other day. Circles don't "exist" because they are a pure abstraction; as an element of mathematics they are simply a
by smrq 3y ago
I was thinking about this in the shower the other day. Circles don't "exist" because they are a pure abstraction; as an element of mathematics they are simply a bag of conclusions that are inevitable if you are willing to accept other axioms. The language with which we talk about these axioms and conclusions might be fallible, and certainly the conclusions themselves may be fallible (though not likely so for elemental enough mathematics), but the kernel of truth in logic at the middle is, I think, unassailable.
- adolph 3y agoPerhaps so. I trimmed down the parts where I referenced Euclid in a similar vein to “conclusions … inevitable if you … accept other axioms.” I was thinking though of this Veritasium video outlining the development of non-Euclidean geometries: https://youtu.be/lFlu60qs7_4?si=vd1s7vPmV-drPSfP https://youtu.be/lFlu60qs7_4?si=vd1s7vPmV-drPSfP