593 karma · joined October 9, 2013
Hasn't been in issue in at least 5 years. Maybe 10. Doubly so now that we're all using uv. You _are_ using, uv, right?
But still, thank you for the long and thought-out reply. You're mostly right, of course, about the symbols I was familiar with. I didn't know about the "size of a set" using the |X| notation, that's new to me, but yeah.
I've heard the explanation of "compiling it in your head" before, and it makes sense, and I think I get the idea. However, that's a ton of work to understand a post, and my ADHD is way too strong.
I did go read about the lemma which is not Burnside's, though that lead down a rabbit hole (I had never heard of a lemma).
Anyway, I think you're mostly right about all of this, but I do think the position of "it's not the symbols" is a common misconception. It's like you handed me a recipe book in Spanish, and I said I don't speak Spanish, and you said "well, the the book isn't really _about_ Spanish, you know"
I didn't realize it was Sage (I didn't know that existed) but I'm not sure that actually makes a difference. Obviously it works, and that's fine, but it's still horribly ugly.
We have proof. There is no guessing here.
If you have a timestamp defined as days since January 1, 1970: If you do basic arithmetic to answer the question "How many days has it been since Nixon resigned" you will _always get the right number_. There are no leap days, they are just normal days.
The problem only comes in when you try to convert between this date type and other types. Our "days since the epoch" date type is fully internally consistent. As long as you know the correct value for "the day Nixon resigned" and "now", it's just a subtraction.
I refuse to adhere to this ridiculous idea.