Mastodon

Paysages Mathématiques"Sans un minimum d’ouverture à la beauté des choses, j’aurais été bien incapable de "fonctionner" comme mathématicien, même à un régime des plus modestes – et je doute que quiconque puisse faire travail utile en mathématiques, s’il ne reste vivant en lui, tant soit peu, ce sens de la beauté." – Alexandre Grothendieck (1928-2014) <a href="https://mathstodon.xyz/tags/citation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#citation</a> <a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mathématiques</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a>

Paysages Mathématiques"Without a minimum of openness to the beauty of things, I would have been quite unable to "function" as a mathematician, even at a modest level – and I doubt that anyone could do useful work in mathematics if that sense of beauty didn't remain alive in them, at least to some extent." – Alexandre Grothendieck (1928-2014) <a href="https://mathstodon.xyz/tags/quote" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#quote</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#maths</a>

jnpngenerators for integrators<a href="https://unnamed.website/posts/haskelling-my-python/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://unnamed.website/posts/haskelling-my-python/</a><a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#python</a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a>

MadelineI started this book club on the Fable app - join me there to discuss the math behind AI <a href="https://hachyderm.io/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://hachyderm.io/tags/genAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#genAI</a> <a href="https://hachyderm.io/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MachineLearning</a> <a href="https://hachyderm.io/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://hachyderm.io/tags/Books" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Books</a> <a href="https://hachyderm.io/tags/Bookclub" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Bookclub</a> <a href="https://hachyderm.io/tags/Reading" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Reading</a> <a href="https://fable.co/club/machines-learn-can-we-with-madeline-267661100558?invite=57080583-de32-4372-bdb4-4ae782eb249c" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://fable.co/club/machines-learn-can-we-with-madeline-267661100558?invite=57080583-de32-4372-bdb4-4ae782eb249c</a>

Paysages MathématiquesTheorem of the Day (April 21, 2025) : Sokal’s Theorem on Chromatic Roots Source : Theorem of the Day / Robin Whitty pdf : <a href="https://www.theoremoftheday.org/MathPhysics/Sokal/TotDSokal.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.theoremoftheday.org/MathPhysics/Sokal/TotDSokal.pdf</a> notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#169" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.theoremoftheday.org/Resources/TheoremNotes.htm#169</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#theorem</a> <a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@Theoremoftheday</a>

José A. AlonsoNon-circular trigonometric proofs of the pythagorean theorem in Lean4: A comparison. ~ Paul Pajo. <a href="https://www.researchgate.net/publication/390875819_Non-Circular_Trigonometric_Proofs_of_the_Pythagorean_Theorem_in_Lean4_A_Comparison" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.researchgate.net/publication/390875819_Non-Circular_Trigonometric_Proofs_of_the_Pythagorean_Theorem_in_Lean4_A_Comparison</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

Paysages MathématiquesSource : Youtube / Numberphile<a href="https://www.youtube.com/watch?v=hKpa9ntjgeo" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=hKpa9ntjgeo</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/youtube" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#youtube</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calculemus</a>: Demostraciones con Lean4 y con Isabelle/HOL de "f[s] \ f[t] ⊆ f[s \ t]". <a href="https://jaalonso.github.io/calculemus/posts/2021/06/17-imagen_de_la_diferencia_de_conjuntos/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/calculemus/posts/2021/06/17-imagen_de_la_diferencia_de_conjuntos/</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

José A. AlonsoReadings shared April 20, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/20-readings_shared_04-20-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/04/20-readings_shared_04-20-25</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

Paysages Mathématiques21 avril 1652: <a href="https://mathstodon.xyz/tags/CeJourL%C3%A0" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CeJourLà</a> naissance de Michel Rolle (†8/11/1719), mathématicien français connu pour le théorème qui porte son nom (qu'il prouve pour des polynômes). Il fut longtemps opposé au calcul infinitésimal (en plein développement à l'époque). <a href="https://fr.wikipedia.org/wiki/Michel_Rolle" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://fr.wikipedia.org/wiki/Michel_Rolle</a> <a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mathématiques</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a>

Paysages Mathématiques21 avril 1951 : <a href="https://mathstodon.xyz/tags/CeJourL%C3%A0" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CeJourLà</a> naissance de Michael Freedman, mathématicien américain médaillé Fields en 1986 pour le développement de nouvelles méthodes qui lui ont permis de démontrer en dimension 4 la conjecture de Poincaré généralisée. <a href="https://fr.wikipedia.org/wiki/Michael_Freedman" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://fr.wikipedia.org/wiki/Michael_Freedman</a> <a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mathématiques</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a>

AIPTDo WWE wrestlers always lose in their hometowns?It was a common Vince McMahon critique, but does Triple H do any better? <a href="https://aiptcomics.com/2025/04/20/wwe-lose-hometown-mcmahon-hhh-superstar/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://aiptcomics.com/2025/04/20/wwe-lose-hometown-mcmahon-hhh-superstar/</a><a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://mastodon.social/tags/WWE" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WWE</a>

Matthew ConroyOkay, one more breakfast bifurcation diagram, this one of f(x) = (sin(ax)+sin(a(x+Pi/4)+sin(a(x+Pi/4))/3.<a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/bifurcation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#bifurcation</a>

Hourly Hectoc BotHi <a href="https://mastodon.social/@firusvg" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@firusvg</a>Good solution.<a href="https://mastodon.seism0saurus.de/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://mastodon.seism0saurus.de/tags/mentalcalculator" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mentalcalculator</a> <a href="https://mastodon.seism0saurus.de/tags/hectoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hectoc</a>

Hourly Hectoc BotHello math fans, Your hourly hectoc is here:476679The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See <a href="https://hectoc.seism0saurus.de" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://hectoc.seism0saurus.de</a> for an example. Please use CW "solution".Have fun! Your hourly hectoc bot by <a href="https://infosec.exchange/@seism0saurus" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@seism0saurus</a><a href="https://mastodon.seism0saurus.de/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://mastodon.seism0saurus.de/tags/mentalcalculator" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mentalcalculator</a> <a href="https://mastodon.seism0saurus.de/tags/hectoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hectoc</a>

Matthew ConroyBreakfast is over, but what the hell: another breakfast bifurcation diagram, this time of f(x) = (sin(ax)+cos( (2pi-a)x))/2.<a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/bifurcation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#bifurcation</a>

EricRogerGarciaL'odyssée des chiffres - un langage universelVERS LA MATHEMATISATION DU MONDELe signe : ∞, le mètre, le kg, la seconde...Ces chiffres sont utilisés presque partout par le hasard de l'histoire.Les statistiques : cartes perforées (la mécanographie)... le langage binaire les ordinateurs (les lampes, les transistors, les circuits intégrés)... le smartphone... se faire encoder sans même s'en rendre compte !Prédire et orienter nos actions ?3/3<a href="https://www.youtube.com/watch?v=EYxueo_qI-Q" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=EYxueo_qI-Q</a><a href="https://ludosphere.fr/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://ludosphere.fr/tags/histoire" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#histoire</a>

EricRogerGarciaL'odyssée des chiffres - un langage universelL'INVENTION DU ZEROLes signes + - x / =L'utilisation du papier...2/3<a href="https://www.youtube.com/watch?v=njcS61can7w" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=njcS61can7w</a><a href="https://ludosphere.fr/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://ludosphere.fr/tags/histoire" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#histoire</a>

EricRogerGarciaL'odyssée des chiffres - un langage universelQUI A INVENTE LES CHIFFRES ?1/3(suite en réponse)<a href="https://www.youtube.com/watch?v=GksV0cQ5PNs" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=GksV0cQ5PNs</a><a href="https://ludosphere.fr/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://ludosphere.fr/tags/histoire" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#histoire</a>

Hourly Hectoc BotHi <a href="https://mastodon.social/@firusvg" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@firusvg</a>Thank you for your answer.<a href="https://mastodon.seism0saurus.de/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://mastodon.seism0saurus.de/tags/mentalcalculator" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mentalcalculator</a> <a href="https://mastodon.seism0saurus.de/tags/hectoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hectoc</a>

Recent searches

Search options

Administered by:

Server stats:

#math