Counting integers up from zero, the character "m" doesn't appear in a number spelled out in English until "one million".

"zero"
"one"
"two"
"three"
...
"nine hundred ninety-nine thousand nine hundred ninety-seven"
"nine hundred ninety-nine thousand nine hundred ninety-eight"
"nine hundred ninety-nine thousand nine hundred ninety-nine"
"one million"

#math #maths

Counting integers up from zero, the character "m" doesn't appear in a number spelled out in English until "one million".

"zero"
"one"
"two"
"three"
...
"nine hundred ninety-nine thousand nine hundred ninety-seven"
"nine hundred ninety-nine thousand nine hundred ninety-eight"
"nine hundred ninety-nine thousand nine hundred ninety-nine"
"one million"

#math #maths

Happy Pythagorean Triple Day, to those who celebrate.

Pythagorean triple?

3² + 4² = 5²
9 + 16 = 25

Today is 9/16/25 (at least in the US).

#Math

Happy #PythagorasDay! 🥳

Today’s date is 9.16.25, or 3² + 4² = 5².

#Math#Mathematics#Pythagoras#PythagoreanTheorem#PythagoreanTriple

Happy Pythagorean Triple Day, to those who celebrate.

Pythagorean triple?

3² + 4² = 5²
9 + 16 = 25

Today is 9/16/25 (at least in the US).

#Math

Happy #PythagorasDay! 🥳

Today’s date is 9.16.25, or 3² + 4² = 5².

#Math#Mathematics#Pythagoras#PythagoreanTheorem#PythagoreanTriple

I know some of you have probably just been out of your minds in anticipation for this year's Mathober prompts.

Well - I broke out the random number generator, word list, and honed in on my curation energy and delivered.

Blog post: https://www.fractalkitty.com/mathober-2025/

Mathober site: https://mathober.com

We have hashtags #mathober and #mathober2025 to share.

#math #indieweb#artPrompts #mathPrompts

#isFaithfulSeriouslyOnThisList? #YesItIsAMathWord#TIL

I know some of you have probably just been out of your minds in anticipation for this year's Mathober prompts.

Well - I broke out the random number generator, word list, and honed in on my curation energy and delivered.

Blog post: https://www.fractalkitty.com/mathober-2025/

Mathober site: https://mathober.com

We have hashtags #mathober and #mathober2025 to share.

#math #indieweb#artPrompts #mathPrompts

#isFaithfulSeriouslyOnThisList? #YesItIsAMathWord#TIL

I was in my early 40s before anyone told me that “if you want to be a girl, you can just be a girl.” So I did.

But no one was very told me I’d need an advanced degree in topology to understand how women’s clothing works!

#TransJoy #transjoke #transmath #girlmath #math

I was in my early 40s before anyone told me that “if you want to be a girl, you can just be a girl.” So I did.

But no one was very told me I’d need an advanced degree in topology to understand how women’s clothing works!

#TransJoy #transjoke #transmath #girlmath #math

M(77232917) is officially the 50th Mersenne Prime.

M(77232917) was discovered seven and half years ago. Now, thanks to the diligent efforts of many GIMPS volunteers, every smaller Mersenne number has been successfully double-checked. Thus, M(77232917) officially becomes the 50th Mersenne prime.

This is a significant milestone for the GIMPS project. The next Mersenne milestone is not far away, please consider joining this important double-checking effort.

https://www.mersenne.org/report_exponent/?exp_lo=77232917&full=1

#math #maths

M(77232917) is officially the 50th Mersenne Prime.

M(77232917) was discovered seven and half years ago. Now, thanks to the diligent efforts of many GIMPS volunteers, every smaller Mersenne number has been successfully double-checked. Thus, M(77232917) officially becomes the 50th Mersenne prime.

This is a significant milestone for the GIMPS project. The next Mersenne milestone is not far away, please consider joining this important double-checking effort.

https://www.mersenne.org/report_exponent/?exp_lo=77232917&full=1

#math #maths

I design and sell mathematically-accurate jewelry inspired by differential and algebraic geometry, and topology. Pieces shown are still available. I invite you to browse, and to email if there are shapes you'd like to see!

https://www.diffgeom.com/product-category/jewelry/

#Math#MathArt#Jewelry#3DPrinting

I design and sell mathematically-accurate jewelry inspired by differential and algebraic geometry, and topology. Pieces shown are still available. I invite you to browse, and to email if there are shapes you'd like to see!

https://www.diffgeom.com/product-category/jewelry/

#Math#MathArt#Jewelry#3DPrinting

My paper "Continuous and algebraic domains in univalent foundations" with @MartinEscardo was accepted for publication by the Journal of Pure and Applied Algebra! 🎉
https://martinescardo.github.io/papers/continuous-algebraic-domains-in-uf.pdf

This paper has its origin in my very first paper with Martín (and my second paper overall) "Domain Theory in Constructive and Predicative Univalent Foundations" which appeared at Computer Science Logic (CSL) back in 2021.

Since then I wrote my PhD thesis on this topic (and worked on other things in type theory after) and the present paper is a revision of both the CLS'21 paper and my PhD thesis (which I completed in 2022).

Everything in the paper has been formalized and an HTML rendering of the Agda file that directly links the code to the paper can be found here: https://martinescardo.github.io/TypeTopology/DomainTheory.Continuous-and-algebraic-domains.html

#typetheory #agda #logic #math #computerscience

My paper "Continuous and algebraic domains in univalent foundations" with @MartinEscardo was accepted for publication by the Journal of Pure and Applied Algebra! 🎉
https://martinescardo.github.io/papers/continuous-algebraic-domains-in-uf.pdf

This paper has its origin in my very first paper with Martín (and my second paper overall) "Domain Theory in Constructive and Predicative Univalent Foundations" which appeared at Computer Science Logic (CSL) back in 2021.

Since then I wrote my PhD thesis on this topic (and worked on other things in type theory after) and the present paper is a revision of both the CLS'21 paper and my PhD thesis (which I completed in 2022).

Everything in the paper has been formalized and an HTML rendering of the Agda file that directly links the code to the paper can be found here: https://martinescardo.github.io/TypeTopology/DomainTheory.Continuous-and-algebraic-domains.html

#typetheory #agda #logic #math #computerscience

Hilbert curve snake

#Math#Maths#Mathematics#MathArt

Out of curiosity, who here has used Maxima (or the legendary codebase it was based upon, Macsyma) to do math things? What were your experiences! It seems so interesting but I don't really have a reason to use it #lisp #math

This had me captivated for a good five minutes. I just kept watching how the patterns matched up, trying to parse out the connections in my brain.

Who knew an animation of a Rubik’s Cube and some corresponding concentric circles could be so stimulating?

I have absolutely no idea who created it. Tried to find out to no avail. (Happy to edit with a citation if someone knows.)

#RubiksCube#Math#Animation#Geometry#Patterns#BrainGames

This had me captivated for a good five minutes. I just kept watching how the patterns matched up, trying to parse out the connections in my brain.

Who knew an animation of a Rubik’s Cube and some corresponding concentric circles could be so stimulating?

I have absolutely no idea who created it. Tried to find out to no avail. (Happy to edit with a citation if someone knows.)

#RubiksCube#Math#Animation#Geometry#Patterns#BrainGames