Hi Liliana,
Liliana Marie Prikler <liliana.prik...@gmail.com> writes:
> Am Montag, dem 03.01.2022 um 18:14 -0500 schrieb Mark H Weaver:
>>
>> > If you are talking specifically about the uncountability of real
>> > numbers, that'd be quite deep down (as in an uncountability of push
>> > actions to a particular Git repo, particularly if we also allow
>> > reinitialization).
>>
>> Hmm. I think that the set of push actions to a particular Git repo
>> is countable, even if we allow reinitialization. What makes you
>> think that it's uncountable? I'd be very curious to see your
>> argument for that.
> I can always add another by force-pushing a tree with a single commit,
> garbage collecting and then pushing regular commits on top, which
> should be able to reuse previously existing hashes. Even if not, since
> we identify a repo by URL, I could ask the forge to delete it and then
> push a completely reinitialized repo under the same name.
Sorry, but this is not even close to a valid argument that the set of
possible push actions to a Git repo is uncountable. In fact, it's quite
easy to prove that the set is countable. Any mathematician will know this.
I'll also note that the Cantor-style diagonalization argument, which you
have repeatedly claimed to have, is still nowhere to be found. To make
matters worse, you gaslit me earlier by claiming that I was failing to
see it in your earlier message, when it's clearly not there. If you
have such an argument, you're apparently unwilling to share it with us.
Mark
--
Disinformation flourishes because many people care deeply about injustice
but very few check the facts. Ask me about <https://stallmansupport.org>.
