mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Server stats:

8.5K
active users

#math

183 posts100 participants12 posts today
Prof. Bholanath Dutta<p>Can you solve this ⁉️🤔 <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p>
José A. Alonso<p>Marginal subsemigroups and commutators in inverse semigroups. ~ Gonçalo Araújo, João Araújo, Michael Kinyon <a href="https://link.springer.com/article/10.1007/s00233-025-10548-9" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/article/10.1</span><span class="invisible">007/s00233-025-10548-9</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>CriticLean: Critic-guided reinforcement learning for mathematical formalization. ~ Zhongyuan Peng et als. <a href="https://arxiv.org/abs/2507.06181v1" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2507.06181v1</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>A formalization of divided powers in Lean. ~ Antoine Chambert-Loir, María Inés de Frutos-Fernández. <a href="https://arxiv.org/abs/2507.05327v1" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2507.05327v1</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Readings shared July 11, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/12-readings_shared_07-11-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/07/12-readings_shared_07-11-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
Suat Ayöz<p>Here's the question for July 12th from the AMS Daily Epsilon of Math Calendar<br>@DailyEpsilon</p><p><a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/mathstodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathstodon</span></a></p>
cyAnd even STRANGER than that, consider the real numbers between 0 and 1000. For any real number N between 0 and 1000, there's a real number M between 0 and 1, where N = M * 1000. That means there are the same amount of real numbers between 0 and 1 as there are real numbers between 0 and 1000.<br><br>So take the real numbers between 0 and 1, do the above logical crazy shenanigans, and call that whole thing 1. Then do it for real numbers between 0 and 2. Then between 0 and 3. Now you have <code>infinity * infinity ^ infinity</code> numbers.<br><br>Or if you want to keep it between 0 and 1, do 0 and 1, then 0 and 0.1, because that also works. There are equal amounts of real numbers between 0 and 1 as there are between 0 and 0.1.<br><br><a href="https://fedicy.us.to?t=math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://fedicy.us.to?t=gonemadsendhelp" class="mention hashtag" rel="nofollow noopener" target="_blank">#GoneMadSendHelp</a><br>
cySomeone pointed out the other day that there are more real numbers between 0 and 1 than there are natural numbers from 1 to infinity, basically by saying if 0.1 = 1, and 0.01 = 2, you can pick a real number between 0 and 1 whose Nth decimal place is 1, for any natural number N. And since 0.2 is <i>not</i> in that series, real numbers between 0 and 1 have <i>at least one</i> more number than all the natural numbers.<br><br>But I was just thinking that it gets even stranger than that. You could also say 0.01 = 1, 0.0001 = 2, where the <code>N*2th</code> decimal place is 1 for every N integers. Another series the size of the set of natural numbers, in between 0 and 1. You don't have to stop there. If the <code>N*3th</code> decimal place is 1, that's another series the size of the natural numbers, and if the <code>N*4th</code> decimal place is 1, that's <i>also</i> a series the size of the natural numbers.<br><br>Now consider that maybe the entire series of 0.1, 0.01, 0.001, 0.0001, etc represents JUST the number 1. The series of 0.01, 0.0001, etc could be 2. If the <code>N*Mth</code> decimal place can be 1, for all natural numbers N, for any natural number M, then that means there are more real numbers between 0 and 1 than there are natural numbers, times natural numbers. That's <code>infinity * infinity</code>.<br><br>I bet a similar proof could also apply to (N,M,O) tuples of 3 natural numbers, and tuples of 4, and so on. That means there are more real numbers between 0 and 1 than there are natural numbers raised to the power of natural numbers. An infinitely exponential number of infinites.<br><br><a href="https://fedicy.us.to?t=math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://fedicy.us.to?t=wat" class="mention hashtag" rel="nofollow noopener" target="_blank">#wat</a> <a href="https://fedicy.us.to?t=rant" class="mention hashtag" rel="nofollow noopener" target="_blank">#rant</a><br>
Adam Coffman<p>Pedro the <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> Cat 🐈 <br><a href="https://mathstodon.xyz/tags/cats" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cats</span></a> <a href="https://mathstodon.xyz/tags/CatsOfMastodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CatsOfMastodon</span></a> <a href="https://mathstodon.xyz/tags/Caturday" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Caturday</span></a></p>
LeRoy Miller<p><span>speed nerdlegame 1270 solved in 0m 16s!<br><br></span>⬛⬛🟪⬛⬛🟩🟪🟪<span><br></span>🟩🟩🟩🟩🟩🟩🟩🟩⏱️<span><br><br><br><br></span>🟩 🟪 ⬛️<span> Instant Nerdle 1256 solved in 0m 40s!<br><br><br>nerdlegame 1270 3/6<br><br></span>⬛🟪⬛🟪⬛🟩🟪⬛<span><br></span>🟪🟩🟪🟩⬛🟩🟩🟪<span><br></span>🟩🟩🟩🟩🟩🟩🟩🟩<span><br><br><br>binerdle 1157 3&amp;5/7<br><br></span>🟩⬛⬛🟩⬛🟩⬛⬛<span><br></span>🟩🟩⬛🟩⬛🟩🟩⬛<span><br></span>🟩🟩🟩🟩🟩🟩🟩🟩<span><br><br></span>🟪⬛🟪🟪⬛🟩⬛⬛<span><br></span>🟪🟪🟪⬛⬛🟩🟪⬛<span><br></span>🟪🟪🟪⬛⬛🟩🟪🟪<span><br></span>🟪🟩🟩🟪🟩🟩🟩🟩<span><br></span>🟩🟩🟩🟩🟩🟩🟩🟩<span><br><br><br>mini nerdlegame 1270 3/6<br><br></span>⬛⬛⬛🟩⬛⬛<span><br></span>🟪🟩⬛🟩⬛⬛<span><br></span>🟩🟩🟩🟩🟩🟩<span><br><br><br>mini binerdle 1157 3&amp;4/7<br><br></span>⬛⬛⬛🟩🟩⬛<span><br></span>⬛🟩🟪🟩🟩⬛<span><br></span>🟩🟩🟩🟩🟩🟩<span><br><br></span>⬛⬛⬛🟪🟪⬛<span><br></span>⬛⬛⬛🟪🟪⬛<span><br></span>⬛⬛⬛🟪🟪⬛<span><br></span>🟩🟩🟩🟩🟩🟩<span><br><br><br>micro nerdlegame 1043 3/6<br><br></span>⬛⬛🟩🟩⬛<span><br></span>🟪⬛🟩🟩⬛<span><br></span>🟩🟩🟩🟩🟩<span><br><br></span><a href="https://social.coolmathgames.tech/tags/nerdle" rel="nofollow noopener" target="_blank">#nerdle</a> <a href="https://social.coolmathgames.tech/tags/nerdlegame" rel="nofollow noopener" target="_blank">#nerdlegame</a> <a href="https://social.coolmathgames.tech/tags/math" rel="nofollow noopener" target="_blank">#math</a> <a href="https://social.coolmathgames.tech/tags/game" rel="nofollow noopener" target="_blank">#game</a> <a href="https://social.coolmathgames.tech/tags/puzzle" rel="nofollow noopener" target="_blank">#puzzle</a> <a href="https://social.coolmathgames.tech/tags/fun" rel="nofollow noopener" target="_blank">#fun</a> <a href="https://social.coolmathgames.tech/tags/nerdle" rel="nofollow noopener" target="_blank">#nerdle</a> <a href="https://social.coolmathgames.tech/tags/miniNerdle" rel="nofollow noopener" target="_blank">#miniNerdle</a> <a href="https://social.coolmathgames.tech/tags/microNerdle" rel="nofollow noopener" target="_blank">#microNerdle</a> <a href="https://social.coolmathgames.tech/tags/binerdle" rel="nofollow noopener" target="_blank">#binerdle</a> <a href="https://social.coolmathgames.tech/tags/mini" rel="nofollow noopener" target="_blank">#mini</a> <a href="https://social.coolmathgames.tech/tags/micro" rel="nofollow noopener" target="_blank">#micro</a></p>
LeRoy Miller<p><span>Mathle 1265 3/5<br></span>🟨⬜🟩🟨🟨🟩⬜⬜<span><br></span>🟩⬜🟩🟩🟨🟩🟩🟨<span><br></span>🟩🟩🟩🟩🟩🟩🟩🟩<span><br><br>mathlegame.com<br><br></span><a href="https://social.coolmathgames.tech/tags/mathle" rel="nofollow noopener" target="_blank">#mathle</a> <a href="https://social.coolmathgames.tech/tags/mathlegame" rel="nofollow noopener" target="_blank">#mathlegame</a> <a href="https://social.coolmathgames.tech/tags/math" rel="nofollow noopener" target="_blank">#math</a> <a href="https://social.coolmathgames.tech/tags/game" rel="nofollow noopener" target="_blank">#game</a> <a href="https://social.coolmathgames.tech/tags/puzzle" rel="nofollow noopener" target="_blank">#puzzle</a></p>
LeRoy Miller<p><span>targets #520<br>Score 1/10 *</span>⭐⭐⭐<span> <br>Upto 10 points (30</span>⭐) from 4 daily Targets <a href="https://social.coolmathgames.tech/@nerdlegame" class="u-url mention" rel="nofollow noopener" target="_blank">@nerdlegame</a><span>.com<br><br>targets #520<br>Score 3/10 *</span>⭐⭐⭐<span> <br>Upto 10 points (30</span>⭐) from 4 daily Targets <a href="https://social.coolmathgames.tech/@nerdlegame" class="u-url mention" rel="nofollow noopener" target="_blank">@nerdlegame</a><span>.com<br><br>targets #520<br>Score 6/10 *</span>⭐⭐⭐<span> <br>Upto 10 points (30</span>⭐) from 4 daily Targets <a href="https://social.coolmathgames.tech/@nerdlegame" class="u-url mention" rel="nofollow noopener" target="_blank">@nerdlegame</a><span>.com<br><br>targets #520<br>Score 10/10 *</span>⭐⭐⭐<span> <br>Upto 10 points (30</span>⭐) from 4 daily Targets <a href="https://social.coolmathgames.tech/@nerdlegame" class="u-url mention" rel="nofollow noopener" target="_blank">@nerdlegame</a><span>.com<br><br></span><a href="https://social.coolmathgames.tech/tags/nerdle" rel="nofollow noopener" target="_blank">#nerdle</a> <a href="https://social.coolmathgames.tech/tags/nerdlegame" rel="nofollow noopener" target="_blank">#nerdlegame</a> <a href="https://social.coolmathgames.tech/tags/math" rel="nofollow noopener" target="_blank">#math</a> <a href="https://social.coolmathgames.tech/tags/game" rel="nofollow noopener" target="_blank">#game</a> <a href="https://social.coolmathgames.tech/tags/puzzle" rel="nofollow noopener" target="_blank">#puzzle</a> <a href="https://social.coolmathgames.tech/tags/fun" rel="nofollow noopener" target="_blank">#fun</a> <a href="https://social.coolmathgames.tech/tags/targets" rel="nofollow noopener" target="_blank">#targets</a></p>
Fractal Kitty<p>Ok- yes I could go smaller, but it’s the last one - I’m at my limit - the paper is too thick to go any smaller with my current ability.<br><a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/geometricSequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>geometricSequence</span></a> <a href="https://mathstodon.xyz/tags/mtbos" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mtbos</span></a> <a href="https://mathstodon.xyz/tags/origami" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>origami</span></a></p>
LeRoy Miller<p><span>hard mathler 1256 3/6<br><br></span>⬜⬜🟨🟨⬜⬜🟨🟨<span><br></span>🟩🟨⬜🟩⬜🟩🟩🟨<span><br></span>🟩🟩🟩🟩🟩🟩🟩🟩<span><br><br>mathler.com<br><br><br>mathler 1256 3/6<br><br></span>⬜⬜⬜⬜🟨⬜<span><br></span>🟩⬜🟩🟩⬜🟩<span><br></span>🟩🟩🟩🟩🟩🟩<span><br><br>mathler.com<br><br><br>easy mathler 1256 1/6<br><br></span>🟩🟩🟩🟩🟩<span><br><br>mathler.com<br><br><br>killer mathler 1256 4/6<br><br></span>⬜⬜⬜⬜⬜⬜<span><br></span>🟩⬜⬜⬜🟩⬜<span><br></span>🟩🟩🟩⬜🟩⬜<span><br></span>🟩🟩🟩🟩🟩🟩<span><br><br>mathler.com<br><br></span><a href="https://social.coolmathgames.tech/tags/mathler" rel="nofollow noopener" target="_blank">#mathler</a> <a href="https://social.coolmathgames.tech/tags/math" rel="nofollow noopener" target="_blank">#math</a> <a href="https://social.coolmathgames.tech/tags/game" rel="nofollow noopener" target="_blank">#game</a> <a href="https://social.coolmathgames.tech/tags/puzzle" rel="nofollow noopener" target="_blank">#puzzle</a> <a href="https://social.coolmathgames.tech/tags/hardMathler" rel="nofollow noopener" target="_blank">#hardMathler</a> <a href="https://social.coolmathgames.tech/tags/hard" rel="nofollow noopener" target="_blank">#hard</a> <a href="https://social.coolmathgames.tech/tags/easyMathler" rel="nofollow noopener" target="_blank">#easyMathler</a> <a href="https://social.coolmathgames.tech/tags/easy" rel="nofollow noopener" target="_blank">#easy</a> <a href="https://social.coolmathgames.tech/tags/KillerMathler" rel="nofollow noopener" target="_blank">#KillerMathler</a> <a href="https://social.coolmathgames.tech/tags/killer" rel="nofollow noopener" target="_blank">#killer</a></p>
LeRoy Miller<p><span>Numbword #1065 100/100<br><br></span>⬜🟦⬜🟦⬜<span> <br></span>⬜⬜⬜⬜⬜<span> <br></span>🟦🟦🟦🟦🟦<span><br><br>"God must love the common man, he made so many of them."<br>- Abraham Lincoln<br><br></span><a href="https://numbword.com/" rel="nofollow noopener" target="_blank">https://numbword.com/</a><span><br><br></span><a href="https://social.coolmathgames.tech/tags/numbword" rel="nofollow noopener" target="_blank">#numbword</a> <a href="https://social.coolmathgames.tech/tags/puzzle" rel="nofollow noopener" target="_blank">#puzzle</a> <a href="https://social.coolmathgames.tech/tags/math" rel="nofollow noopener" target="_blank">#math</a> <a href="https://social.coolmathgames.tech/tags/wordgame" rel="nofollow noopener" target="_blank">#wordgame</a> <a href="https://social.coolmathgames.tech/tags/game" rel="nofollow noopener" target="_blank">#game</a> <a href="https://social.coolmathgames.tech/tags/word" rel="nofollow noopener" target="_blank">#word</a> <a href="https://social.coolmathgames.tech/tags/wordgames" rel="nofollow noopener" target="_blank">#wordgames</a></p>
LeRoy Miller<p>🙂Save a par🙂<span><br>calcule.heavymoons.net?20250711<br></span>⬛×🟨×🟨=🟨🟨<span><br></span>🟨×🟩×🟨=⬛🟨<span><br></span>🟩×🟩×🟩=🟩🟩<span><br><br></span><a href="https://social.coolmathgames.tech/tags/calcule" rel="nofollow noopener" target="_blank">#calcule</a> <a href="https://social.coolmathgames.tech/tags/puzzle" rel="nofollow noopener" target="_blank">#puzzle</a> <a href="https://social.coolmathgames.tech/tags/math" rel="nofollow noopener" target="_blank">#math</a> <a href="https://social.coolmathgames.tech/tags/game" rel="nofollow noopener" target="_blank">#game</a></p>
somecanuckchick<p>On July 9, July 22, and Aug. 5, Earth will rotate a tiny bit quicker making those days ever so slightly shorter than 24 hours... </p><p>🌎🌍🌏 ⏱ </p><p><a href="https://www.space.com/astronomy/earth/did-you-feel-it-earth-just-had-one-of-its-shortest-days-ever-and-2-more-are-coming" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">space.com/astronomy/earth/did-</span><span class="invisible">you-feel-it-earth-just-had-one-of-its-shortest-days-ever-and-2-more-are-coming</span></a></p><p><a href="https://mastodon.world/tags/earth" class="mention hashtag" rel="tag">#<span>earth</span></a> <a href="https://mastodon.world/tags/terraprime" class="mention hashtag" rel="tag">#<span>terraprime</span></a> <a href="https://mastodon.world/tags/science" class="mention hashtag" rel="tag">#<span>science</span></a> <a href="https://mastodon.world/tags/math" class="mention hashtag" rel="tag">#<span>math</span></a> <a href="https://mastodon.world/tags/physics" class="mention hashtag" rel="tag">#<span>physics</span></a> <a href="https://mastodon.world/tags/space" class="mention hashtag" rel="tag">#<span>space</span></a> <a href="https://mastodon.world/tags/solarsystem" class="mention hashtag" rel="tag">#<span>solarsystem</span></a> <a href="https://mastodon.world/tags/moon" class="mention hashtag" rel="tag">#<span>moon</span></a> <a href="https://mastodon.world/tags/astronomy" class="mention hashtag" rel="tag">#<span>astronomy</span></a></p>
zvavybir :palestina:🍉 :FediPact: :Green: :masked:<p>Math question: Are the following two quadrilaterals (see replies for images) equal?</p><p>Corners at: (0, 0), (1, 0), (0, 3), (0, 1)<br>Corners at: (0, 0), (1, 0), (0, 3), (0, 2)</p><p><a href="https://social.zvavybir.eu/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p>
Paysages Mathématiques<p>"Mon enthousiasme pour les mathématiques avait peut-être eu pour base principale mon horreur pour l'hypocrisie [...]. Suivant moi, l'hypocrisie était impossible en mathématiques et, dans ma simplicité juvénile, je pensais qu'il en était ainsi dans toutes les sciences où j'avais ouï dire qu'elles s'appliquaient." – Stendhal (1783-1842)<br><a href="https://mathstodon.xyz/tags/citation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>citation</span></a> <a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathématiques</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p>
Paysages Mathématiques<p>"My enthusiasm for mathematics was based principally perhaps on my horror of hypocrisy [...]. In my opinion, hypocrisy wasn’t possible in mathematics and, in my youthful simplicity, I thought the same went for all the sciences in which I had heard it said they were applied." – Stendhal (1783-1842)<br><a href="https://mathstodon.xyz/tags/quote" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quote</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a></p>