"The chemist smiles at the childish efforts of alchemists, but the mathematician finds the geometry of the Greeks and the arithmetic of the Hindoos as useful and admirable as any research of today." – Florian Cajori (1859-1930)
#quote #mathematics #math #maths

"Le chimiste sourit des efforts puérils des alchimistes, mais le mathématicien trouve la géométrie des Grecs et l'arithmétique des Hindous aussi utiles et admirables que n'importe quelle recherche recherche d'aujourd'hui."– Florian Cajori (1859-1930)
#citation #mathématiques #maths #math

Source : Youtube / Société Mathématique de France - SMF

https://www.youtube.com/watch?v=SWH9_xpi4Uc
#mathématiques #maths #math #youtube

The mathematical patterns depicted here are called Lissajous figures - they form when two harmonic motions at right angles to each other combine.

The animated "curve table" shows how different frequency ratios create completely different shapes. You might have seen these patterns on oscilloscopes in physics labs or created by harmonograph drawing machines with pendulums.

Learn more: https://thekidshouldseethis.com/post/lissajous-figures-a-curve-table-animation

Simulating Some Queues https://lobste.rs/s/c92tqx #math
https://concerningquality.com/queue-simulations/

#Math #50

Found out about this at the #Moodle #STACKmath conference in #Durham. It is a set of pre-built items for creating STACK questions with #JSXGraph. Have not tried it yet, can anyone else commment?

https://github.com/mkraska/meclib

#Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "f[f⁻¹[u]​] ⊆ u". https://jaalonso.github.io/calculemus/posts/2021/06/10-imagen_de_la_imagen_inversa/ #LeanProver #IsabelleHOL #Math

Theorem of the Day (April 11, 2025) : The Prime Number Theorem
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/NumberTheory/PrimeNumber/TotDPrimeNumber.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#33
#mathematics #maths #math #theorem @Theoremoftheday

A comparative review of ZFC, NBG, and MK axiom systems: Theoretical foundations and formalization in Coq. ~ Si Chen, Wensheng Yu. https://www.preprints.org/manuscript/202504.0684/v1 #ITP #Coq #Rocq #Math #SetTheory

Decomposing factorial of 300K as the product of 300K factors larger than 100K

http://gus-massa.blogspot.com/2025/04/decomposing-factorial-of-300k-as.html

Discussions: https://discu.eu/q/http://gus-massa.blogspot.com/2025/04/decomposing-factorial-of-300k-as.html

Readings shared April 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/10-readings_shared_04-10-25 #AI #ATP #CommonLisp #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Programming #Reasoning

11 avril 1953 : #CeJourLà naissance de Andrew Wiles, mathématicien britannique spécialisé en théorie des nombres, connu pour sa preuve partielle de la conjecture de Shimura-Taniyama-Weil, ayant notamment pour conséquence le grand théorème de Fermat.
https://fr.wikipedia.org/wiki/Andrew_Wiles
#mathématiques #maths #math

One day, one decomposition
A230577: Positive integers that have exactly 6 odd divisors

3D graph, threejs - webGL https://decompwlj.com/3Dgraph/A230577.html
2D graph, first 500 terms https://decompwlj.com/2Dgraph500terms/A230577.html

I always took my math/science notes in sketch books. I guess it's not surprising that a lot of the pages ended up like this.

#mastoart
#science
#math

Hear me out. Mathematicians should adopt Futhark (https://en.wikipedia.org/wiki/Runes#Futhark)

Mathematicians want new symbols like magpies want shiny things. Runes have the advantages that

1. There are not too many of them at around 24 depending on flavour.

2. Many of them correspond to a latin character in a relatively straightforward way, allowing for an additional "sort" of variables per context.

3. They can be drawn with straight lines in a way that is clear at a range of font sizes and are forgiving to those with poor handwriting (I'm looking at you, ξ)

4. They come from a dead language, so who's going to complain other than old norse specialists.

This handles many of the disadvantages of say:
Chinese characters (too many, and I know over 2000)
Hangul / Kana / etc. (multiple sensible choices for a given consonant)
Hebrew / other abjads (none that correspond to vowels)

Some problems:
1. Basically none of you know them. Consult your local tiktok fortune teller for a brief intro

2. The standard futhark order does not really correspond to latin/greek order

Edit: 3. Poor font support for Runes. They are at least assigned standard unicode codepoints in the Runic block, so this could be mitigated over time. In tex there is the "allrunes" package at least, although I have never tried it.

(This isn't a shitpost, I've brought this up at least four times this week already at MGS)

Math-y people of fedi, how do I get more math into my life, as a person who dropped out of a PhD about 15 years ago and now works a software job she doesn't much care for? #math #maths #mathematics

"The idea of math is to look for similarities between things so that you only need one "recipe" for many different situations. The key is that when you ignore some details, the situations become easier to understand, and you can fill in the variables later. This is the process of abstraction." – Eugenia Cheng
#quote #mathematics #math #maths

"L'idée, en maths, c'est de rechercher des similitudes entre les choses, afin de n'avoir besoin que d'une seule "recette" pour de nombreuses situations différentes. La clé, c'est qu'en ignorant certains détails, les situations deviennent plus faciles à comprendre, et on peut compléter les paramètres plus tard. C'est le processus d'abstraction." – Eugenia Cheng
#citation #mathématiques #maths #math

Canonical for automated theorem proving in Lean. ~ Chase Norman, Jeremy Avigad. https://arxiv.org/abs/2504.06239 #ITP #LeanProver #Math