RE: https://mathstodon.xyz/@tao/115818402639190439 "they do not meet the hyped up goal of AI autonomously solving major mathematical open problems, but they also cannot all be dismissed as inconsequential trickery." Fwiw I agree with this assessment, based on my limited experience of playing […]

Problem for January 1st from the 2026 AMS Daily Epsilon of Math Calendar @DailyEpsilon #math #maths #mathematics #mathstodon

Here's the question for December 31st from the AMS Daily Epsilon of Math Calendar @DailyEpsilon #math #maths #mathematics #mathstodon

Marnie Chesterton is hiding from physics under a duvet: https://www.bbc.co.uk/programmes/m002nv51 #quantum #physics #heisenberg #helgoland #maths #science #education

Here's the question for December 30th from the AMS Daily Epsilon of Math Calendar @DailyEpsilon #math #maths #mathematics #mathstodon

https://www.chronicle.com/article/the-crisis-of-the-humanities-is-over-thats-not-a-good-thing #icanhazpdf ?

#Calendar #Recycling 🗓️ If you have old calendars from 2015 or 2009 or 1998 or 1987 or 1981 or 1970, then you can use them again this coming year (2026: not a leap year! pronounced "twenty-twenty-six"), and again in 2037 and 2043. Your calendars from 2025 […] [Original post on mathstodon.xyz]

RE: https://mastodon.hongkongers.net/@cbcindigenous_mirror/115805626153739217 What I understand from Dr Edward Doolittle's talk is that #mathematics should be 'lived' in all aspects of all people's lives, from birth onwards. That is certainly so with Australian Indigenous mathematical knowledge […]

Here's the question for December 29th from the AMS Daily Epsilon of Math Calendar @DailyEpsilon #math #maths #mathematics #mathstodon

How can #Canada 🍁🇨🇦 become a global AI powerhouse? By investing in #mathematics ➕. Via @sciencex.physorg #AI #ArtificialIntelligence 💻 🤖 🧠

RE: https://mastodon.social/@blogdiva/115769988432012038 WEEKLY REMINDER billion and trillion are highly political #propaganda and not real numbers in USA English. if there is one #elbowsup thing #canada should do, is to align EN_CA with all other European languages and eschew the gringo […]

Here's the question for December 28th from the AMS Daily Epsilon of Math Calendar @DailyEpsilon #math #maths #mathematics #mathstodon

2026, now with 3% more maths

Tarski, in section 7 of his 1924 [1] cites this page and the following of Schröder 1895 https://www.deutschestextarchiv.de/book/view/schroeder_logik03_1895?p=592 for a definition of cyclic order on a set and shows how this characterises finiteness, before going on to discuss Dedekind's second […]

Here's the question for December 27th from the AMS Daily Epsilon of Math Calendar @DailyEpsilon #math #maths #mathematics #mathstodon

Speaking of Larry Breen, I do wonder if there are extant letters from him to Grothendieck that are linked with the three letters from Grothendieck to Breen, where he first proposed what is now called the Homotopy Hypothesis, in the mid-70s...

Here's an interesting data science exercise that has occurred to me several times: try to track not citations to a mathematician, but when they are thanked in acknowledgements of papers and theses, or mentioned as the source of an argument, a result, a proof, an idea in the body of the text […]

Ein Versuch über die ersten drei binomischen Formeln Screenshot einer Pdf-Seite mit Typo Richtig: "insbesonder'e'" Vom Textbeitrag musste ich zwei Screenshots machen: #ALText ersetzt Thread, und #inclusion is #fairness:) #education #binomischeFormeln #maths #Mathematik #Mathe #Dyskalkulie #Geometrie

The simulation hypothesis: Mathematical framework redefines what it means for one universe to simulate another. Via @sciencex.physorg #Science 🔭🔬🧪🥼🧑‍🔬 #ComputerSciences #Mathematics

New CatSynth TV! A brief exploration of transfinite cardinals (aleph numbers) and transfinite ordinals. The latter inspired the first verse of lyrics in my tune Kislev (which you can hear in the background). 😻🎹📺 https://youtu.be/IfNxMonc950 #mathematics #infinity

Here's the question for December 26th from the AMS Daily Epsilon of Math Calendar @DailyEpsilon #math #maths #mathematics #mathstodon

RE: https://mathstodon.xyz/@highergeometer/115641482403072634 This post in fact had an error! I have added a section at the end explaining why. Thanks to a correspondent who pointed out why it was wrong. The presheaf I defined and claimed it had no sheafification....was already a sheaf! It was […]

Where is the center of gravity of the empty glider located? If you measure the location of the main wheel and tail wheel (reference to something such as the glider's nose), and the weight each of them carry...you can do the math to answer that question […] [Original post on universeodon.com]

**Pi calculation world record shattered at 314 trillion digits with a four-month run on a single server — StorageReview retakes the crown, thanks to storage bandwidth** 🔗 […] [Original post on qoto.org]

Let's do Fourier analysis on a cat purr. https://www.youtube.com/watch?v=kuMUquaeE6g #cats #cat #catmas #catmaths #maths

Here's the question for December 25th from the AMS Daily Epsilon of Math Calendar @DailyEpsilon #math #maths #mathematics #mathstodon

"Dear all, I am writing this to inform you that the Institute for Geometry and its Applications (IGA) is coming to an end. As the IGA does not meet the requirements to be a University Research Centre it can no longer continue, even in name. Consequently the IGA webpage will disappear along with […]

Tell me, did the AI say Alain Connes' name was Alex? 🙄

Pedro the #Math Cat 🐈 🎀 with some more of his holiday merch. #MeowyCatmas everybody 🎅 #cats #catsofmastodon

"As shown by Murray and Stevenson [22] if M is simply connected then only torsion classes arise this way." I can think of another paper on this topic that came out more recently that could have been cited here, but I'm not going to prosecute. I'm not reviewer 2.

Does official published version of this article https://doi.org/10.2140/agt.2021.21.3335 reflect the most recent version of the paper (https://arxiv.org/abs/1905.03081)? It was originally wrong and updated to reflect extensive corrections. And if so, does it indicate that it has been updated? It […]

In case you don't know: there is a #LaTeX package on CTAN called #realhats, that can put Santa hats on your nice Quantum Mechanics operator friends. #GitHub: https://github.com/mscroggs/realhats #CTAN: https://ctan.org/pkg/realhats Homepage (with links to […] [Original post on mathstodon.xyz]

My books: Book on #mathematics: https://abuseofnotation.github.io/category-theory-illustrated/ A little #philosophy book https://abuseofnotation.github.io/time/ Essays about #technology#philosophy#mathematicsttps://abuseofnotation.github.io/humane-tech/ A novel (unfinished) […]

Here's the question for December 24th from the AMS Daily Epsilon of Math Calendar @DailyEpsilon #math #maths #mathematics #mathstodon

OK, I have a noob question about fields: Let ι : k->k' be an arbitrary extension, and i,j : k'->K arbitrary embeddings to some other field that agree on k. Suppose I have x\in k' such that i(x)=j(x). It seems to me like one can easily have such a setup where x doesn't come from the subfield k […]

"ChatGPT doesn't know what I want to say. And then, you know, you could say 'Well you could tell ChatGPT what you wanted to say'. And in that case why wouldn't I simply say what I want to say? And you know ... I don't find out until I've written it, right? By writing I find out what it was I […]

Thank you to @mathemagical for the coffees! We will talk soon. https://buymeacoffee.com/highergeometer/c/16637967

RE: https://mathstodon.xyz/@pschwahn/115769633144162326 After being discussed on MathOverflow 😃 (preprint is not Paul's, but by Matthew Bolan)

Pedro the #Math Cat 🐈 🎀 posing with his Pedro-themed holiday decor 🎁 #cats #CatsOfMastodon #meowychristmas

Here's the question for December 23rd from the AMS Daily Epsilon of Math Calendar @DailyEpsilon #math #maths #mathematics #mathstodon

Looking at https://ncatlab.org/nlab/show/core-natural+transformation#definitions where it says a canonical map \\(c\colon F(x)\to G(x)\\) can be defined to be one that is natural wrt to functors \\(F,G\colon \mathbf{B}\mathrm{Aut}_C(x)\to D\\), we can even remove all mention of \\(C\\): if we […]

Here's the question for December 22nd from the AMS Daily Epsilon of Math Calendar @DailyEpsilon #math #maths #mathematics #mathstodon

Sadly, eminent mathematician Prof Jacqui Ramagge will not be staying in Adelaide. Was poached by JCU, I gather.

📜 An Ottoman #Geometry Book, 1898

A commuting diagram in a 4-category, from Theo Johnson-Freyd https://www.youtube.com/watch?v=6RXpJCHjEbI

I was hoping that Dedekind's second definition of finiteness could be made use of in a predicative foundation. But while the definition makes sense in a predicative setting, an early construction takes the intersection over all subsets of the given finite set S that satisfy some conditions, to […]