Recent searches
Search options
#math
#Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "Monotonía de la imagen de conjuntos". https://jaalonso.github.io/calculemus/posts/2021/06/12-monotonia_de_la_imagen_de_conjuntos/ #LeanProver #IsabelleHOL #Math
Mathématiques de l’accord des claviers
Source : Images des mathématiques / Dominique Manchon
https://images.math.cnrs.fr/billets/mathematiques-de-laccord-des-claviers/
#mathématiques #maths #math #musique
Happy publication day @drlangraad!
How could I be prouder? 
#writingcommunity #authorlife #books #writing #math #education #teaching #mathematics #bookstodon #booksofmastodon
https://a.co/d/5p7KppG
@daniel This might be an interesting read for you:
Mathematical reasoning & proofs. ~ Alistair Savage. https://alistairsavage.ca/mat1362/notes/MAT1362-Mathematical_reasoning_and_proofs.pdf #Math
"To out spherical affairs
An oscular surveyor
Might find the task laborious,
The sphere is much the gayer,
And now besides the pair of pairs
A fifth sphere in the kissing shares.
Yet, signs and zero as before,
For each to kiss the other four
The square of the sum of all five bends
Is thrice the sum of their squares."
F. Soddy (1936)
(3/3)
"FOR pairs of lips to kiss maybe
Involves no trigonometry.
'Tis not so when four circles kiss
Each one the other three.
To bring this off the four must be
As three in one or one in three.
If one in three, beyond a doubt
Each gets three kisses from without.
If three in one, then is that one
Thrice kissed internally."
(1/3)
"Four circles to the kissing come.
The smaller are the benter.
The bend is just the inverse of
The distance from the centre.
Though their intrigue left Euclid dumb
There's now no need for rule of thumb.
Since zero bend's a dead straight line
And concave bends have minus sign,
The sum of the squares of all jour bends
Is half the square of their sum."
(2/3)
@johncarlosbaez @i0null
I admire anyone who puts this much diligence into a chat-up line.
Infomatics: Bootstrapping the Geometric Rules of Reality
“Lm Primality” correlation suggests a deep link between φ-based number theory and the stability rules for fundamental matter (likely n=2 states)
If America became fully fascist(which it likely will), how long will it last? Well, let's do a little chronology and math. Here are the number of years all the previous fascist nations of the last century lasted:
Italy: 21
Germany: 12
Spain: 36
Portugal: 41
Hungary: 0.5
Romania: 4
Slovakia: 6
Croatia: 4
If we use the mean formula (sum of numbers in set/number of units in set), we get an average of ≈15.6 years. So, expect around 16 years of American fascism.
I recently had a talk at CopenhagenJS to STOP using floating point numbers for math and money calculations. Today I became aware of PHP's `str_decrement` function which does "math" with strings.
It's like PHP heard me and went: HOLD MY BEER! 
https://www.php.net/manual/en/function.str-decrement.php
Hello math fans,
A new hectoc for you:
381281
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 https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
I’d like to start a conversation about the #accessibility of math. Someday I aspire to be a professor, and I want to be inclusive to students of a wide range of backgrounds and experiences, but math (esp. advanced math) is full of details that make it very hard for anyone with dyslexia, dysgraphia, challenges with attention span, etc.
I know there’s some things I can do like providing notes / slides in advance so people don’t have to rely on my blackboard handwriting, and providing learning materials in multiple modalities, but what else is needed to make #math a more welcoming subject for students with what I think have traditionally been stigmatized as “learning difficulties”?
The world has spent a long time trying to force everyone to fit their expectations (“sit down, be quiet” ad nauseum) but I dream of a future where the classroom is more genuinely accepting and welcoming to people who experience the world differently than those who fit the mold we’re culturally conditioned to believe is “normal” or neurotypical.
Here’s a specific to get the conversation going: Is web-based math (MathJax / MathML) any better for screen readers than math PDFs? Do any screen readers even work with more advanced math at all??