@MartinSleziak Yes, sorry Martin. I was still a bit on the fence, and I think in the end, I would keep two tage: frames-and-locales, and pointfree-topology, with pointless-topology as a synonym for the latter. And then in both tag wikis suggest the other.

@TheAmplitwist Sadly, Mark Sapir's blog post is actually titled "A short proof that 2^{\sqrt{2}} is not rational", and in the body claims it proves that. And the comments specify there are a bunch of typos in the proof. One would have hoped Mark acted on these and tried to fix them...

I'd forgotten that he had died, and left a comment (stuck in permanent moderation now) on the blog post, to ask for a clarification as to exactly which statement he was proving :-S

@DavidRoberts Do you plan to create the tag synonyms at some point? Or are you going to post an answer on meta first - to see what the response from others would be?

I am mainly asking whether we should notify Gro-Tsen (who brought up those tags) here in chat - or whether he'll see your response on meta.

@MartinSleziak I can post this suggestion on meta, and then point Gro-Tsen to it

@MartinSleziak Ahh, I see... Thanks!

@DavidRoberts Oh, that's unfortunate... 😅

new-tag A new tag infinite-matrices.