Don't get me started on off by one. I'll never get indexing straight! lol But obviously everything should start indexing at zero! The constructivist (i think that's the term, i just learned it) school of philosophy/math, doesn't see any proposition or its negation as necessarily the only possibilities. This is unusual since all the math and reasonsing we do typically assumes this implicitly. There's a term "law of excluded middle" that is related, you can sorta guess what it means. In this vein, there were issues with infinity/real numbers (infinite sequences lead to irrational numbers) a 100-200 years ago, which went glossed over for a long time, but finally had to be tackled, and that's partly what led to for example the Dedekind construction of the real numbers. It lays out a concrete canonical definition of what they are set-theoretically. You might enjoy a look into that.

Replies (1)

haha, infinite sets, there's a perfect example of a paradox. but regarding counting/sequence, when that distinction became clear to me i started to notice it all through language, i mean, where the semantics of words relates to sequence, or number (or size) there has to be some sense to it. like, really, it should not be chapter 1, you call it the first chapter. first can be represented by 1 but it wouldn't be first if there wasn't a state before it. so that's why they invented zero. because of that implicit contradiciton between count and sequence. it wouldn't make sense to say that the ordinals are like halves, they are integral in the same way, but first has to be nothing, before you can start counting anything. nothing is infinite, also, until it starts, then you have finity... now that's one i've not thought through very much. positive infinity of counting. just because it starts at zero, doesn't mean it has to end. i'd argue that implies it can't.