bolha.us

erou ⏚Je travaille le chapitre sur les variables aléatoires en terminale et il y a des vraies choses profondes derrière (les histoires de convergences etc., entre autre). Évidemment je n'aurai pas le temps de mentionner tout ça, mais ça fait plaisir de réfléchir de nouveau à ces notions.J'espère que j'aurai la question « Pourquoi est-ce que la loi faible des grands nombres est appelée faible ? » pour éveiller les curiosités.<a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/TeamProf" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TeamProf</a> <a href="https://mathstodon.xyz/tags/TeamEduc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TeamEduc</a> <a href="https://mathstodon.xyz/tags/TeamMaths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TeamMaths</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#maths</a>

Jean-Baptiste EtienneUn autre patron / an other net <a href="https://mathstodon.xyz/tags/test" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#test</a><a href="https://mathstodon.xyz/tags/geogebra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#geogebra</a> <a href="https://mathstodon.xyz/tags/file" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#file</a> : <a href="https://www.geogebra.org/m/ryvybaxp" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.geogebra.org/m/ryvybaxp</a><a href="https://mathstodon.xyz/tags/pyramid" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#pyramid</a> <a href="https://mathstodon.xyz/tags/section" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#section</a> <a href="https://mathstodon.xyz/tags/geometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#geometry</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/geogebra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#geogebra</a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#animation</a> <a href="https://mathstodon.xyz/tags/animation3d" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#animation3d</a> <a href="https://mathstodon.xyz/tags/solid" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#solid</a> <a href="https://mathstodon.xyz/tags/net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#net</a> <a href="https://mathstodon.xyz/tags/solid" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#solid</a> <a href="https://mathstodon.xyz/tags/edu" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#edu</a> <a href="https://mathstodon.xyz/tags/teach" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#teach</a>

Paysages Mathématiques"De tous les scientifiques, les mathématiciens sont à coup sûr les plus attachés à leurs bibliothèques. C'est normal : d'une part, les écrits mathématiques sont souvent longs et difficiles à maîtriser, et d'autre part leur durée de vie est considérable. Dans quelle autre science trouve-t-on des articles qui peuvent atteindre plusieurs centaines de pages ? Et dans quelle autre science trouve-t-on des traités qui restent valables[...]"– Cédric Villani (1973-) <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>

Hourly Hectoc BotHi <a href="https://mastodon.moule.world/@MOULE" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@MOULE</a>That is a correct 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>

Hourly Hectoc BotHello everyone, Here is a new hectoc challenge for you:974395The 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>

LobstersDecomposing factorial of 300K as the product of 300K factors larger than 100K <a href="https://lobste.rs/s/3jhrkf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lobste.rs/s/3jhrkf</a> <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lisp</a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="http://gus-massa.blogspot.com/2025/04/decomposing-factorial-of-300k-as.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">http://gus-massa.blogspot.com/2025/04/decomposing-factorial-of-300k-as.html</a>

José A. AlonsoReadings shared April 8, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/08-readings_shared_04-08-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/04/08-readings_shared_04-08-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</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/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</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/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</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/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</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/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

Rémi EismannOne day, one decomposition A230092: Numbers of the form k + wt(k) for exactly three distinct k, where wt(k) = A000120(k) is the binary weight of k3D graph, threejs - webGL ➡️ <a href="https://decompwlj.com/3Dgraph/A230092.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://decompwlj.com/3Dgraph/A230092.html</a> 2D graph, first 500 terms ➡️ <a href="https://decompwlj.com/2Dgraph500terms/A230092.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://decompwlj.com/2Dgraph500terms/A230092.html</a><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#decompwlj</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/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sequence</a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OEIS</a> <a href="https://mathstodon.xyz/tags/javascript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#javascript</a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#php</a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#3D</a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#numbers</a> <a href="https://mathstodon.xyz/tags/binary" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#binary</a> <a href="https://mathstodon.xyz/tags/weight" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#weight</a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#graph</a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#threejs</a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#webGL</a>

Hacker NewsDecomposing factorial of 300K as the product of 300K factors larger than 100K<a href="http://gus-massa.blogspot.com/2025/04/decomposing-factorial-of-300k-as.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">http://gus-massa.blogspot.com/2025/04/decomposing-factorial-of-300k-as.html</a><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/Decomposing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Decomposing</a> <a href="https://mastodon.social/tags/Factorial" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Factorial</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/Combinatorics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Combinatorics</a> <a href="https://mastodon.social/tags/LargeNumbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LargeNumbers</a> <a href="https://mastodon.social/tags/Factorial300K" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Factorial300K</a> <a href="https://mastodon.social/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mathematics</a>

Hacker NewsCan reinforcement learning for LLMs scale beyond math and coding tasks? Probably<a href="https://arxiv.org/abs/2503.23829" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://arxiv.org/abs/2503.23829</a><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/reinforcementlearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#reinforcementlearning</a> <a href="https://mastodon.social/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mastodon.social/tags/scaling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#scaling</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/codingtasks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#codingtasks</a> <a href="https://mastodon.social/tags/AIresearch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AIresearch</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 "Si f es inyectiva, entonces f⁻¹[f[s]] ⊆ s". <a href="https://jaalonso.github.io/calculemus/posts/2021/06/09-imagen_inversa_de_la_imagen_de_aplicaciones_inyectivas/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/calculemus/posts/2021/06/09-imagen_inversa_de_la_imagen_de_aplicaciones_inyectivas/</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. AlonsoTraining making math proofs using Lean 4. ~ Krillof. <a href="https://github.com/Krillof/Lean4_math_training" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/Krillof/Lean4_math_training</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>

José A. AlonsoCourse Cs2120f24: Discrete mathematics and theory in Lean 4. ~ Kevin Sullivan. <a href="https://github.com/kevinsullivan/cs2120f24" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/kevinsullivan/cs2120f24</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>

José A. AlonsoDMTL4: Discrete mathematics and theory in Lean 4. ~ Kevin Sullivan. <a href="https://github.com/kevinsullivan/dmtl4" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/kevinsullivan/dmtl4</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ématiquesTheorem of the Day (April 8, 2025) : The Second Isomorphism Theorem Source : Theorem of the Day / Robin Whitty pdf : <a href="https://www.theoremoftheday.org/GroupTheory/SecondIsomorphism/TotDIsomorphism2.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.theoremoftheday.org/GroupTheory/SecondIsomorphism/TotDIsomorphism2.pdf</a> notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#35" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.theoremoftheday.org/Resources/TheoremNotes.htm#35</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. AlonsoReadings shared April 7, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/07-readings_shared_04-07-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/04/07-readings_shared_04-07-25</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</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/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</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/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</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/Minlog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Minlog</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SMT</a>

Rémi EismannOne day, one decomposition A230091: Numbers of the form k + wt(k) for exactly two distinct k, where wt(k) = A000120(k) is the binary weight of k3D graph, threejs - webGL ➡️ <a href="https://decompwlj.com/3Dgraph/A230091.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://decompwlj.com/3Dgraph/A230091.html</a> 2D graph, first 500 terms ➡️ <a href="https://decompwlj.com/2Dgraph500terms/A230091.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://decompwlj.com/2Dgraph500terms/A230091.html</a><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#decompwlj</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/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sequence</a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OEIS</a> <a href="https://mathstodon.xyz/tags/javascript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#javascript</a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#php</a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#3D</a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#numbers</a> <a href="https://mathstodon.xyz/tags/binary" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#binary</a> <a href="https://mathstodon.xyz/tags/weight" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#weight</a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#graph</a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#threejs</a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#webGL</a>

Karl Voit :emacs: :orgmode:<a href="https://graz.social/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> is really overrated, says <a href="https://graz.social/tags/Batman" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Batman</a>! <a href="https://www.smbc-comics.com/comic/battriangulation" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.smbc-comics.com/comic/battriangulation</a><a href="https://graz.social/tags/SMBC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SMBC</a> <a href="https://graz.social/tags/Comics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Comics</a> <a href="https://graz.social/tags/fun" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fun</a>

doboprobodyne<a href="https://mastodon.social/@glyph" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@glyph</a> I hear you.My favourite (perhaps less jarring?) example is when a court declares they have found someone guilty, and that their threshold of guilt is "on balance of odds".I look at the lawyers and the witnesses and realise that none of them has studied actuarial or probability mathematics. I wouldn't even trust them to understand a bet on the horses. For a scientist to watch them is like observing a cargo cult. Worse, I am sure, is for a scientist to find themselves on the receiving end of such a court.I would offer the meagre consolation that you can see the feedback loops that drive them to behave so, where they think themselves to have free will.<a href="https://mathstodon.xyz/tags/cybernetics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#cybernetics</a> <a href="https://mathstodon.xyz/tags/actuarial" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#actuarial</a> <a href="https://mathstodon.xyz/tags/odds" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#odds</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/statistics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#statistics</a> <a href="https://mathstodon.xyz/tags/science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#science</a> <a href="https://mathstodon.xyz/tags/scientificInquiry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#scientificInquiry</a> <a href="https://mathstodon.xyz/tags/systemsArchitecture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#systemsArchitecture</a> <a href="https://mathstodon.xyz/tags/justice" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#justice</a> <a href="https://mathstodon.xyz/tags/law" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#law</a> <a href="https://mathstodon.xyz/tags/policing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#policing</a> <a href="https://mathstodon.xyz/tags/cargoCult" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#cargoCult</a>

burninghatodonLa POLYRYTHMIE et les MATHÉMATIQUES <a href="https://www.youtube.com/watch?v=82_lhW1-Zvc" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=82_lhW1-Zvc</a> de la fascinante chaîne Mathémusique <a href="https://mastodon.social/tags/music" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#music</a> <a href="https://mastodon.social/tags/science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#science</a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a>

Recent searches

Search options

Administered by:

Server stats:

#math