highergeometer.mathstodon.xyz.ap.brid.gy - Profile | ThreadSky

One hopes the saying that starts "Here comes the new boss,...." is, finally, not true this time around https://adelaideuni.edu.au/about/news-and-events/news/2025/Adelaide-University-appoints-new-Vice-Chancellor/

submitted 13 hours ago • 1 comment

"Maybe the thing that bothers me the most is that virtually all of normal, mainstream mathematics can be formalized in much weaker, essentially number-theoretic systems that do have a clear philosophical justification. What ZFC adds to this is a raft of set-theoretic pathology. To me, that […]

submitted 16 hours ago • 1 comment

Someone here on mathstodon, on their website, I discovered has mutual links to another mathematician's website, perhaps a significant other. One of these people is in category theory, the other in number theory. The CT-ist has 6 papers (incl preprints) since 2021, and they are published in the […]

submitted 2 days ago • 0 comments

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

submitted 3 days ago • 0 comments

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.

submitted 3 days ago • 0 comments

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

submitted 4 days ago • 0 comments

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

submitted 4 days ago • 1 comment

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] […]

submitted 6 days ago • 2 comments

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

submitted 7 days ago • 0 comments

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

submitted 7 days ago • 0 comments

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

submitted 8 days ago • 1 comment

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 […]

submitted 8 days ago • 0 comments

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)

submitted 8 days ago • 0 comments

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 […]

submitted 9 days ago • 0 comments

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 […]

submitted 9 days ago • 0 comments

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)

submitted 10 days ago • 0 comments

"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 […]

submitted 10 days ago • 1 comment

"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." […]

submitted 10 days ago • 0 comments

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.

submitted 11 days ago • 0 comments

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?"]

submitted 11 days ago • 0 comments

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

submitted 11 days ago • 0 comments

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

submitted 12 days ago • 0 comments

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]

submitted 14 days ago • 1 comment

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 […]

submitted 14 days ago • 1 comment

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 […]

submitted 14 days ago • 2 comments

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

submitted 15 days ago • 1 comment

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).

submitted 15 days ago • 0 comments

@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]

submitted 16 days ago • 0 comments

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

submitted 16 days ago • 2 comments