masto.ai is one of the many independent Mastodon servers you can use to participate in the fediverse.
A general Mastodon server for all languages.

Administered by:

Server stats:

2.1K
active users

#math

170 posts99 participants13 posts today
Paysages Mathématiques<p>Source : Quanta Magazine / Leila Sloman</p><p><a href="https://www.quantamagazine.org/new-proof-settles-decades-old-bet-about-connected-networks-20250418/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">quantamagazine.org/new-proof-s</span><span class="invisible">ettles-decades-old-bet-about-connected-networks-20250418/</span></a><br><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a></p>
Paysages Mathématiques<p>Source : Youtube / Michael Penn</p><p><a href="https://www.youtube.com/watch?v=DzbVPtgCg0E" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=DzbVPtgCg0</span><span class="invisible">E</span></a><br><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/Youtube" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Youtube</span></a></p>
Paysages Mathématiques<p>De l’axiome des parallèles au GPS<br>Source : Images des mathématiques / Jean-François Colonna</p><p><a href="https://images.math.cnrs.fr/billets/de-laxiome-des-paralleles-au-gps/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">images.math.cnrs.fr/billets/de</span><span class="invisible">-laxiome-des-paralleles-au-gps/</span></a><br><a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathématiques</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/physique" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>physique</span></a></p>
lurker<p>flash back to 2021<br> угльі вида 360𝜋k/(180 — 𝜋) одинаковьі в градусах и радианах <a class="hashtag" href="https://juick.com/tag/math" rel="nofollow noopener noreferrer" target="_blank">#math</a></p>
Alan Lewis<p>TRUMP'S DEPARTMENT OF EDUCATION IS GOING TO PUT A STOP TO THIS<br>Mastodon Post</p><p>: <a href="https://c.im/tags/democrats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>democrats</span></a> <a href="https://c.im/tags/departmentofeducation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>departmentofeducation</span></a> <a href="https://c.im/tags/education" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>education</span></a> <a href="https://c.im/tags/educationdepartment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>educationdepartment</span></a> <a href="https://c.im/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://c.im/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://c.im/tags/uspol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>uspol</span></a> <a href="https://c.im/tags/uspolitics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>uspolitics</span></a> :</p>
Paysages Mathématiques<p>Theorem of the Day (April 19, 2025) : Wedderburn’s Little Theorem<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/Algebra/WedderburnLittle/TotDWedderburnLittle.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Algebra/We</span><span class="invisible">dderburnLittle/TotDWedderburnLittle.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#215" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#215</span></a></p><p><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>
José A. Alonso<p>Listing prime numbers periodically. ~ Han-Lin Li, Shu-Cherng Fang, Way Kuo, Nianrui Lin. <a href="https://www.scirp.org/journal/paperinformation?paperid=141958" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">scirp.org/journal/paperinforma</span><span class="invisible">tion?paperid=141958</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Algorithms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Algorithms</span></a></p>
Emilia Jarochowska 🇺🇦🌱<p>📢 The skies are falling! You might have realized by now that we are in the middle of an apocalypse, but you probably haven't identified its cause correctly. It is the decline of <a href="https://circumstances.run/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://circumstances.run/tags/education" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>education</span></a> that has put the human culture in peril 🛸 </p><p>🚨 <a href="https://link.springer.com/article/10.1134/S1064562423700643" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/article/10.1</span><span class="invisible">134/S1064562423700643</span></a></p><p>I stumbled upon this article while researching how to write about <a href="https://circumstances.run/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> for non-mathematician. Did it help? No. Was it a good giggle? Absolutely 😁 <br><a href="https://circumstances.run/tags/apocalypse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>apocalypse</span></a> <a href="https://circumstances.run/tags/WeAreDoomed" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WeAreDoomed</span></a> <a href="https://circumstances.run/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://circumstances.run/tags/literacy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>literacy</span></a></p>
Hourly Hectoc Bot<p>Hi <span class="h-card" translate="no"><a href="https://mastodon.social/@firusvg" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>firusvg</span></a></span></p><p>That is correct.</p><p><a href="https://mastodon.seism0saurus.de/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mastodon.seism0saurus.de/tags/mentalcalculator" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mentalcalculator</span></a> <a href="https://mastodon.seism0saurus.de/tags/hectoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hectoc</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Calculemus</span></a>: Demostraciones con Lean4 y con Isabelle/HOL de "f[s ∩ t] ⊆ f[s] ∩ f[t]​". <a href="https://jaalonso.github.io/calculemus/posts/2021/06/15-imagen_de_la_interseccion/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/calculemus/</span><span class="invisible">posts/2021/06/15-imagen_de_la_interseccion/</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Readings shared April 18, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/18-readings_shared_04-18-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/18-readings_shared_04-18-25</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a></p>
Hourly Hectoc Bot<p>Dear mental calculators,<br>Here is a new hectoc challenge for you:</p><p>316711</p><p>The 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"><span class="invisible">https://</span><span class="">hectoc.seism0saurus.de</span><span class="invisible"></span></a> for an example. Please use CW "solution".</p><p>Have fun! Your hourly hectoc bot<br>by <span class="h-card" translate="no"><a href="https://infosec.exchange/@seism0saurus" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>seism0saurus</span></a></span></p><p><a href="https://mastodon.seism0saurus.de/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mastodon.seism0saurus.de/tags/mentalcalculator" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mentalcalculator</span></a> <a href="https://mastodon.seism0saurus.de/tags/hectoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hectoc</span></a></p>
Lobsters<p>Efficient E-Matching for Super Optimizers via <span class="h-card" translate="no"><a href="https://hachyderm.io/@alic" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>alic</span></a></span> <a href="https://lobste.rs/s/xsojm5" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/xsojm5</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/performance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>performance</span></a> <a href="https://mastodon.social/tags/zig" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>zig</span></a><br><a href="https://blog.vortan.dev/ematching/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">blog.vortan.dev/ematching/</span><span class="invisible"></span></a></p>
Alan Lewis<p>MAGATS HAVE A NEW WORRY<br>Mastodon Post</p><p>: <a href="https://c.im/tags/democrats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>democrats</span></a> <a href="https://c.im/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://c.im/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://c.im/tags/uspol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>uspol</span></a> <a href="https://c.im/tags/uspolitics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>uspolitics</span></a> :</p>
Microfractal<p>Decagon (fractal version)</p><p>\(z_{n+1}=fold(z_n)^2+c\)</p><p>where fold is a generalized absolute value function. A complex number has two components: a real and an imaginary part.<br>If we take the absolute value of one of these parts, we can interpret this as a fold in the complex plane. For example, |re(z)| causes a fold of the complex plane around the imaginary axis, which means that the left half ends up on the right half. If we do this for the imaginary component |im(z)|, we fold the complex plane around the real axis which means that the bottom half ends up on the top half.<br>These two operations are quite similar, because the imaginary fold is just like the real fold of the plane, except that it was previously rotated 90 degrees (z * i). But what if we rotate the plane by an arbitrary number of degrees?<br>An arbitrary rotation of the complex plane can be expressed as rot(z, radians) = z * (cos(radians) + sin(radians) * i), where radians encodes the rotation.</p><p>The image here is produced, by rotating the plane exactly five times, and folding the imaginary part each time.</p><p>I found this algorithm in the Fractal Formus under the name “Correction for the Infinite Burning Ship Fractal Algorithm”.<br>It can be seen as a generalization of the burning ship obtained by folding the complex plane twice with a rotation of 90 degrees, i.e. folding both the real and the imaginary part.</p><p><a href="https://mathstodon.xyz/tags/fractalfriday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fractalfriday</span></a> <a href="https://mathstodon.xyz/tags/fractal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fractal</span></a> <a href="https://mathstodon.xyz/tags/burningship" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>burningship</span></a> <a href="https://mathstodon.xyz/tags/mandelbrot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mandelbrot</span></a> <a href="https://mathstodon.xyz/tags/complexplane" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>complexplane</span></a> <a href="https://mathstodon.xyz/tags/complexnumbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>complexnumbers</span></a> <a href="https://mathstodon.xyz/tags/mathart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathart</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/escapetimefractals" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>escapetimefractals</span></a></p>
Jason Weatherly<p>So, saw a post about a visual proof that the sum of squares is always less than the square of sums and was immediately nerd sniped. The last part of this is kinda the proving point where the sum of a finite number of absolute values is always greater than or equal to zero. The notation is kinda crap, but it wasn't a bad way to spend some time as I'd gotten rusty in not just LaTeX but also math in general. <a href="https://social.linux.pizza/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a></p>
ProgressivePower<p><a href="https://newsie.social/tags/socialsecurity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>socialsecurity</span></a> <a href="https://newsie.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a></p>
Paysages Mathématiques<p>"In the experimental sciences, discoveries may become possible or be facilitated by the use of new instruments, and in certain cases it is difficult to separate the virtues of the instrument from those of the observer. In mathematics, as in music, genius can be contemplated in a greater state of purity, and hence the history of mathematics is perhaps more interesting to the psychologist than that of any other science." – George Sarton (1884-1956)<br><a href="https://mathstodon.xyz/tags/quote" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>quote</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a></p>
Paysages Mathématiques<p>"Dans les sciences expérimentales, les découvertes peuvent devenir possibles ou être facilitées par l'emploi de nouveaux instruments, et dans certains cas il est difficile de séparer les vertus de l'instrument de celles de l'observateur. En mathématiques, comme en musique, le génie peut être contemplé dans un plus grand état de pureté [...]" – George Sarton (1884-1956)<br><a href="https://mathstodon.xyz/tags/citation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>citation</span></a> <a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathématiques</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a></p>
Bibliolater 📚 📜 🖋<p>**Codex Vigilanus Primeros Numeros Arabigos**</p><p>“_The first Arabic/Hindu (Ghobar type) numerals in a Western manuscript, AD 976. From Codex Vigilanus._”</p><p><a href="https://qoto.org/tags/Image" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Image</span></a> attribution: The original uploader was Srnec at English Wikipedia., Public domain, via Wikimedia Commons. Page URL: <a href="https://commons.wikimedia.org/wiki/File:Codex_Vigilanus_Primeros_Numeros_Arabigos.jpg" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">commons.wikimedia.org/wiki/Fil</span><span class="invisible">e:Codex_Vigilanus_Primeros_Numeros_Arabigos.jpg</span></a>. </p><p><a href="https://qoto.org/tags/History" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>History</span></a> <a href="https://qoto.org/tags/Science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Science</span></a> <a href="https://qoto.org/tags/HistSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HistSci</span></a> <a href="https://qoto.org/tags/Maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Maths</span></a> <a href="https://qoto.org/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a> <a href="https://qoto.org/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <span class="h-card"><a href="https://a.gup.pe/u/science" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>science</span></a></span> </p>