But it's nonsense that the natural numbers require two dimensions. Time appears nowhere in the Zermelo–Fraenkel axioms: https://en.wikipedia.org/wiki/Zermelo–Fraenkel_set_theory
But it's nonsense that the natural numbers require two dimensions. Time appears nowhere in the Zermelo–Fraenkel axioms: https://en.wikipedia.org/wiki/Zermelo–Fraenkel_set_theory
The parent implied counting, not the natural numbers, need two dimensions. But even in Set Theory you need at least one level deep nested sets to build the natural numbers. Qunatification is the (a?) difference between zero and higher order logic, I suppose.
Do you know what "atom" in "atom" means? "Indivisible". But somehow we've been dividing them for power for quite some time.
Arguments from etymology are invalid, because words are not obliged to be backwards compatible.
That's how you end up with loads of confusing homonyms, which the parent almost admited to. I mean, sure an etymologic argument can be insufficient or even wrong.
Proliferation of homonyms is another topic altogether; it is an issue, but it's about creating barriers to communication.
As for your second paragraph, I really don't have any idea what you two are on about.
>As for your second paragraph, I really don't have any idea what you two are on about.
I didn't quite understand the parent, but he clearly related to Computational Complexity of operations on Countable Sets. I happen to study that subject at the moment, so I am taking this discussion as an opportunity to test my understanding.
[deleted] apparently I need to learn a bit more.
>he's quite clear about what he means.
but I didn't read him and it's pretty arrogant to assume I had to. Sure, I hadn't to butt in on the discussion, but I had to read the comment to find out I didn't want to read it, first. So I felt I had to say something. I mean, I thought it was informative, but obviously I didn't hit the right tone.