Profile avatar
highergeometer.mathstodon.xyz.ap.brid.gy
rimcræftiga | bespoke constructions in categorified geometry since 2010 | dude [bridged from https://mathstodon.xyz/@highergeometer on the fediverse by https://fed.brid.gy/ ]
472 posts 200 followers 0 following
Regular Contributor
Active Commenter

Today at school (here in Australia) a couple of teachers were having an animated discussion in Spanish in the tea room.

One would really really hope so. That this position is an admin. role, not academic, concerned me. I haven't yet seen the external ad for it.

Tomorrow my first-ever hosted academic visitor (who reached out to me. Me!) rolls in to the maths department.

Huh. The name Engelbert (like the singer) might be etymologically the same as the phrase "Engla Beorhtast", as in https://tolkiengateway.net/wiki/%C3%89al%C3%A1_%C3%89arendel_Engla_Beorhtast #Tolkien

Can a native German speaker please double check this machine translation to English? Original: "Und um für heute noch mit einem durchaus practischen Vorschlage zu schließen, wären Sie wohl geneigt, Studien oder Essays, d. h. kleinere oder größere Abhandlungen für die Zeitschrift f[ür] […]

Perfectly illustrated Wikipedia article https://en.wikipedia.org/wiki/Bagpipe_theorem

This is a question I'd like to hear thoughts on: https://academia.stackexchange.com/q/219797/8881

Calling all set theorists: https://mathoverflow.net/q/495756/4177

I have a peculiar #icanhazpdf : Cantor's letter to Schmid from 10th June 1887. It's on page 514 of this book but the preview shows me only the fragment at the top of page 515 […]

https://en.wikipedia.org/wiki/Simple_Lie_group#List gives you the options. With no U(1) factors, you can see that A_2 is the only option, and so simply-connected semisimple gives just SU(3). Depending on your definition, "simple" might mean or include PSU(3)

TIL the tangent spaces to the 7-sphere are isomorphic to the imaginary octonions in a strong way, namely respecting the G_2=Aut(O) action. Because SO(7)/G_2 is a 7-sphere.... Now I want to think about if the Hodge dual of the calibration 3-form on S^7 is the 1st Pontryagin form of some […]

I was at the first conference held at Matrix, way back when. https://www.youtube.com/watch?v=PDWcANR-nLQ I drove home solo to Adelaide thinking for hours about a problem I had been working on with my collaborator, and figured out the answer, leading to our short paper in the first volume of […]

The earliest citation to Cantor's 1887 "Mitteilungen zur Lehre vom Transfiniten I" that I could find, in a weekly newsletter published on 21st July 1887, in a footnote (see alt-text for translation)

"Some people have so far held out, but are reluctantly realising they may end up using it. Tom, who works in IT for the government, doesn’t .... ...would feel like cheating, but Tom worries refusing to do so now puts him at a disadvantage. “I almost feel like I have no choice but to use it at […]

"I am sick to my stomach as I write this because I've spent 20 years developing a pedagogy that's about wrestling with big ideas through writing and discussion, and that whole project has been evaporated by for-profit corporations who built their systems on stolen work. It's demoralizing." […]

Is it too nerdy that I suggested a copy of Dedekind's "Essays on the Theory of Numbers" as an anniversary present to Mrs R? The other option would be a recently republished edition of an Icelandic saga translated by Christopher Tolkien while (what we would call today) a grad student.

From @glangmead [I will have a think about this later in terms of undergrad vector calculus, in particular my blog post "what is the curl, really?"]

I may well be going to use 'terminus ante quem' in a paper.... I had to look it up, because I only new the phrase for the other end ('a quo') https://en.wiktionary.org/wiki/terminus_ante_quem

From a talk by Colin McLarty "Lectures on philosophy of mathematicians, Lecture 4: The long view" https://youtu.be/nNtCv25kQIU?feature=shared&t=2250

Are other fields getting AI-generated papers on the arXiv so thick and fast? The category \\(\mathcal{E}\\{\\{\\) here looks like an OCR error for \\(\mathcal{Eff}\\), the effective topos. The abstract uses "Set -> Sh(M) -> Eff", which at least is online […] [Original post on mathstodon.xyz]

Getting a (second-hand) book delivered today. Always a slight thrill to have someone come and just give me a book, especially one I've wanted for a while. (even though I paid for it, the actual delivery feels kinda special, compared to going and buying one from the shop. In any case, this […]

Just checked, and yes, my retracted paper is in the #retractionwatch database, as it should be. However, I wish the reason didn't include that it was an investigation by the journal/publisher, it was me who sweated and wrote a new paper with a solid theorem explaining why our old paper was […]

Here's a fun estimate (h/t a Lean Zulip chat server discussion): \\[ \frac{69}{100} < \ln(2) < \frac{70}{100} \\] How would you prove this? #mtbos

I ran across one of my many (much more well-known) namesakes—a journalist/writer—on Fedi by accident. Certainly still a weird feeling, and weirder when I looked at Wikipedia and saw how many pages there are for people with my firstname-lastname combination (with variations).

@highergeometer Recently mentioned that for cryptographic purposes it's convenient to put elliptic curves into what is known as "Edwards" form: 𝑥² + 𝑦² = 1 + 𝑑𝑥²𝑦² https://mathstodon.xyz/@highergeometer/114571933445797166 This comes with a very convenient […] [Original post on mathstodon.xyz]

What's the deal with this page? This text can't have been updated in something like 20 years... https://mathworld.wolfram.com/PoincareConjecture.html

Not a good look... It's a pity the arXiv moderation process can't tell this should go in math.GM