#math
Fixed a few things in my mathematical logic REPL and added some documentation explaining the different operators and propositions, you can try it out here!
speed nerdlegame 690 solved in 0m 55s!
🟩🟪🟪⬛⬛🟩🟪🟪
🟩🟪🟩🟪🟪🟩🟩⬛
🟩🟩🟩🟩🟩🟩🟩🟩⏱️
🟩 🟪 ⬛️ Instant Nerdle 676 solved in 3m 47s!
nerdlegame 690 2/6
🟩⬛⬛🟩🟪🟪⬛🟩
🟩🟩🟩🟩🟩🟩🟩🟩
binerdle 577 3&4/7
⬛⬛⬛⬛⬛🟪🟪⬛
🟩⬛🟩⬛⬛🟩🟩🟩
🟩🟩🟩🟩🟩🟩🟩🟩
⬛⬛⬛🟪⬛🟪⬛🟪
⬛⬛⬛⬛⬛🟪🟪🟪
⬛🟪⬛🟪⬛⬛🟪🟪
🟩🟩🟩🟩🟩🟩🟩🟩
mini nerdlegame 690 3/6
⬛⬛🟪🟪⬛⬛
🟪🟪🟩⬛🟩🟩
🟩🟩🟩🟩🟩🟩
mini binerdle 577 3&4/7
⬛⬛🟩🟩⬛⬛
🟪🟩🟩🟩⬛⬛
🟩🟩🟩🟩🟩🟩
⬛⬛⬛🟪🟪⬛
🟪⬛⬛🟪🟪🟪
⬛⬛⬛🟪🟪⬛
🟩🟩🟩🟩🟩🟩
micro nerdlegame 463 4/6
⬛🟩⬛🟩⬛
🟩🟩⬛🟩⬛
🟩🟩⬛🟩⬛
🟩🟩🟩🟩🟩
#nerdle #nerdlegame #math #game #puzzle #fun #nerdle #miniNerdle #microNerdle #binerdle #mini #micro
Mathle 686 4/5
⬜⬜⬜⬜⬜⬜⬜⬜
🟩⬜🟩🟨⬜🟩🟨🟩
🟩⬜🟩🟩⬜🟩🟩🟩
🟩🟩🟩🟩🟩🟩🟩🟩
mathlegame.com
#mathle #mathlegame #math #game #puzzle
Greetings fellow humans,
A new hectoc for you:
155891
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. If you want to post a solution, please use a content warning "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Preparing my lesson for Monday's #geometry class.
Me: In 150 words or less, prove that a quadrilateral with a right angle is a square.
ChatGPT:
If a quadrilateral has a right angle, consider the diagonals and opposite angles. Let ABCD be the quadrilateral with a right angle at, say, angle ABC. The opposite angles, like ABC and ADC, are supplementary due to the right angle. Now, examine the diagonals AC and BD. The diagonals bisect each other at right angles, forming congruent triangles ADC and ABC by Side-Angle-Side. This implies that AD is congruent to BC. In a quadrilateral with right angles and congruent diagonals, it must be a rectangle. But since AD is congruent to BC, the opposite sides of the rectangle are also congruent. Therefore, ABCD is not just a rectangle; it's a rectangle with all sides congruent, meeting the criteria of a square.

"Mathematical discoveries – small or large, and whatever their content [...], are never born of spontaneous generation. They always presuppose a ground sown with prior knowledge, and well prepared [...]" – Théodore Flournoy (1854-1920)
#quote #mathematics #maths #math

"Les découvertes mathématiques – petites ou grandes, et quel que soit leur contenu [...], ne naissent jamais par génération spontanée. Elles supposent toujours un terrain ensemencé de connaissances préalables [...]" – Théodore Flournoy (1854-1920)
#citation #mathématiques #maths #math

Greetings fellow humans,
A new hectoc for you:
492464
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. If you want to post a solution, please use a content warning "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Source : Youtube / Mathematical Visual Proofs
https://www.youtube.com/watch?v=jWpyrXYZNiI
#mathematics #maths #math #Youtube

There was once an SAT question that no one got right.
See the pic for the question and the 5 choices. NONE of the choices are correct!!!
The video (linked below) walks through the answer, though for extra credit, see if you can work out the correct answer yourself.
Humble brag, I got there! 🏆
Here's a video walking through the solution:


Happy #CategoryTheory #Caturday! This week I continued on through L&S Session 15 by trying to solve Exercise 9 in Python. I managed to reconstruct the original endomaps from the presentation, but I'm still uncertain where my missing two maps are. I was stopped by Edward who insists my #math is up and it's time to commence with the petting of the #cats. Who am I to argue?
https://rruff82.github.io/LS-Categories/session15-p6.html

“The #MATH Myth” debunked on @Wikipedia. 👉 https://en.m.wikipedia.org/wiki/The_Math_Myth
Here in #Tennessee , #PISA scores (National Report Card) rose at the fastest pace of any state ever after we won the ‘Race to the Top’ competition that was used to augment #STEMeducation and implement #CommonCore emphasis on language and conceptual #math. ✅
Then, #BananaRepublicans ‘pulled the rug out’ from under our students, and scores headed #South again.
#SaveAmerica from the #MAGA cult!
Formalizing fundamental algebraic number theory. ~ Anne Baanen. https://cs.vu.nl/~tbn305/publicaties/proefschrift-latest.pdf #ITP #LeanProver #Math
Hello math fans,
The hectoc of the hour is:
577567
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. If you want to post a solution, please use a content warning "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Mathematics and the formal turn. ~ Jeremy Avigad. https://arxiv.org/abs/2311.00007 #Math #ITP
Is deep learning a useful tool for the pure mathematician? ~ Geordie Williamson. https://arxiv.org/abs/2304.12602 #AI #Math
Advancing mathematics by guiding human intuition with AI. ~ Alex Davies et als. https://www.nature.com/articles/s41586-021-04086-x #AI #Math
hard mathler 676 3/6
🟨⬜🟨🟨⬜🟨🟨⬜
🟨⬜🟩🟨🟨🟩🟩⬜
🟩🟩🟩🟩🟩🟩🟩🟩
mathler 676 3/6
⬜🟩⬜⬜⬜🟨
⬜🟩🟨🟩⬜⬜
🟩🟩🟩🟩🟩🟩
easy mathler 676 2/6
⬜⬜🟩🟨🟨
🟩🟩🟩🟩🟩
killer mathler 676 4/6
⬜⬜⬜⬜⬜⬜
⬜⬜🟩⬜🟩⬜
🟩⬜🟩🟩🟩⬜
🟩🟩🟩🟩🟩🟩
#mathler #math #game #puzzle #hardMathler #hard #easyMathler #easy #KillerMathler #killer
A Century Later, New #Math Smooths Out #GeneralRelativity : Quanta Mag
Is #Technology harming our #Brains? : Medium
#ChatGPT for #Chemistry: #AI and #Robots join forces to build new materials : Nature
Check our latest #KnowledgeLinks


Numbword #485 100/100
⬜⬜⬜⬜🟦
⬜🟦🟦⬜⬜
🟦🟦🟦⬜⬜
🟦🟦🟦🟦🟦
🟦🟦🟦🟦🟦
🟦🟦🟦🟦🟦
"I really think types are the fundamental currency of Java, not strings."
- Crazy Bob Lee
https://numbword.com/
#numbword #puzzle #math #wordgame #game #word #wordgames
9 décembre 1883 : #CeJourLà naissance de Nikolaï Louzine (†28/1/1950), mathématicien russe dont les travaux portent en particulier sur la théorie des ensembles, l'analyse (cf. théorème de Lusin) et la topologie.
https://fr.wikipedia.org/wiki/Nikola%C3%AF_Louzine
#mathématiques #maths #math
Hi!
The hectoc of the hour is:
777982
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. If you want to post a solution, please use a content warning "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
#math question: why does the nth triangular number equal n+1 choose 2? e.g. how does each dot in the diagram above T(4) corresponde to a choice of 2 things from a set of 5 things?

speed nerdlegame 689 solved in 2m 4s!
🟪⬛🟪🟩⬛🟩🟪🟪
🟩🟪🟩🟩🟪🟩🟪⬛
🟩🟩🟩🟩🟩🟩🟩🟩⏱️
🟩 🟪 ⬛️ Instant Nerdle 675 solved in 1m 14s!
nerdlegame 689 3/6
🟪🟩⬛⬛⬛🟪🟪🟪
🟪🟩🟪🟪🟪⬛🟩⬛
🟩🟩🟩🟩🟩🟩🟩🟩
binerdle 576 4&5/7
🟩⬛🟪🟪⬛🟩⬛🟪
🟩🟩🟩🟩⬛🟩🟩⬛
🟩🟩🟩🟩🟪🟩🟩⬛
🟩🟩🟩🟩🟩🟩🟩🟩
⬛⬛🟪🟪🟪🟩⬛🟩
⬛🟪🟩⬛🟩🟩🟩⬛
⬛🟪🟩⬛⬛🟩🟩⬛
⬛🟪🟩⬛🟪🟩🟩⬛
🟩🟩🟩🟩🟩🟩🟩🟩
mini nerdlegame 689 2/6
⬛⬛⬛🟩⬛🟩
🟩🟩🟩🟩🟩🟩
mini binerdle 576 2&3/7
🟩⬛⬛🟪⬛⬛
🟩🟩🟩🟩🟩🟩
⬛⬛⬛🟩🟩⬛
⬛⬛⬛🟪🟪⬛
🟩🟩🟩🟩🟩🟩
micro nerdlegame 462 2/6
🟪🟩🟩🟩⬛
🟩🟩🟩🟩🟩
#nerdle #nerdlegame #math #game #puzzle #fun #nerdle #miniNerdle #microNerdle #binerdle #mini #micro
Mathle 685 4/5
⬜🟨⬜⬜⬜🟨🟨⬜
⬜🟩🟨🟩🟨⬜⬜🟨
🟩🟩🟩🟩🟨🟩🟩🟨
🟩🟩🟩🟩🟩🟩🟩🟩
mathlegame.com
#mathle #mathlegame #math #game #puzzle
Hello everyone,
Your hourly hectoc is here:
959211
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. If you want to post a solution, please use a content warning "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Today we’re asked about the topologist’s sin curve. See my thought process and solution here:

Can AI teach math teachers how to improve student skills?
@TheConversationUS explores the question: https://flip.it/vZMtL7
First Italian Edition of Euclid. #books #euclid #math
https://www.instagram.com/p/C0mSfU8LhJs/?igshid=NTc4MTIwNjQ2YQ==

"Les mathématiques sont la plus belle et la plus puissante création de l'esprit humain. Les mathématiques sont aussi anciennes que l'Homme." – Stefan Banach (1892-1945)
#citation #mathématiques #maths #math

"Mathematics is the most beautiful and most powerful creation of the human spirit. Mathematics is as old as Man." – Stefan Banach (1892-1945)
#quote #mathematics #maths #math

We can generalize the "use n propositions to split into 2^n lemmas" even further. We can split on infinitely many propositions at once!
Let I be a set with an element representing each proposition (i.e. it's an index set) and T⊆I represent the set of true propositions. Generally, I will be simple (such as the set of natural numbers) but we don't know how to nor do we need to calculate T (since they are unknown propositions).
Let's say you want to use the trick to prove A⇒B.
Here's what you need to prove:
> Let S denote an arbitrary subset of I.
> Assume A and that S⊆T (i.e. that S is a set of true propositions).
> Prove that ((exists x. x∈T\S) or B).
This represents our "2^n lemmas", if we count each S as a separate lemma!
The intuition is that we start with S=∅, and use the lemma to keep adding true propositions to it everytime we hit the first case. Eventually we either hit the second case of the lemma result, or we eventually build up to S=T (and then we must hit the second case).
Proof of A⇒B using the lemma
The actual proof is much simpler though and doesn't use any kind of recursion. Just let S=T in the lemma! (We could've actually done that to start with, but the intuition works better if we think of S as being any subset of I.) We have A and that S⊆T, so we can use the lemma. There are two cases:
- exists x. x∈T\S: Since, T\S=T\T=∅, we have a contradiction. By the principle of explosion, conclude B.
- B: We conclude B.
Therefore B.
∎
Source : Youtube / ! shtaM (L'île Logique)
https://www.youtube.com/watch?v=Kr_CYCD57HY
#mathématiques #maths #math #Youtube
After almost failing my mathematical logic class I decided to create a little interactive program to help me get better at it!
Uppercase variables are a bit special and get re-evaluated every time you call them.

8 décembre 1919 : #CeJourLà naissance de Julia Robinson (†30/7/1985), mathématicienne américaine dont les travaux sur le dixième problème de Hilbert (résolution d'une équation diophantienne) ont permis à Y. Matiassevitch de donner une réponse (négative).
https://fr.wikipedia.org/wiki/Julia_Robinson
#mathématiques #maths #math
8 décembre 1865 : #CeJourLà naissance de Jacques Hadamard (†17/10/1963), mathématicien français dont les travaux portent sur la théorie des nombres (preuve du th. des nombres premiers), les équations aux dérivées partielles, l'analyse fonctionnelle...
https://fr.wikipedia.org/wiki/Jacques_Hadamard
#mathématiques #maths #math
#constructive #math tip
Often in a proof using classical math, you might take a related proposition X and split into cases "X" and "not X". Some examples in number theory: <https://en.wikipedia.org/wiki/Riemann_hypothesis#Excluded_middle>.
We can't do this in constrictive math, but there is a trick that is equivalent (and more elegant)!
X is any kind of proposition, such as:
- a conjecture, like the Riemann hypothesis
- a statement with free variables, like "n > k" or "G is finite" or any instance of "x has property P"
- a statement independent of your axioms, like the continuum hypothesis or the axiom K
In many cases you might be able to prove excluded middle (EM) for your specific X, but here's an alternative that works for any X.
**The trick**
If you are trying to prove A⇒B, prove the following two lemmas first:
- A⇒(X or B)
- (A and X)⇒B
Classically this is equivalent to splitting on "X or not X" (the first lemma is the "not X" case since "A⇒(X or B)" is equivalent to "(A and not X)⇒B" if EM holds for X), but it's still a theorem constructively that those two lemmas imply A⇒B!
Proof
Assume A. By the first lemma we conclude X or B. There are two cases:
- X: By the second lemma conclude B.
- B: We conclude B.
Therefore B.
∎
If you are just trying to prove C, then use the above trick on "1=1⇒C". If you are trying to refute C, use the above trick on "C⇒0=1". For proof by induction, A can include the induction hypothesis.
Moreover, if you have n propositions of interest, you can split into 2^n lemmas. Adding more propositions never hurts since you can ignore any unneeded propositions when proving any of the lemmas! Many of the lemmas may be trivial or redundant if you already know some relationships between the propositions.
Greetings fellow humans,
A new hectoc for you:
183379
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. If you want to post a solution, please use a content warning "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Hi!
The hectoc of the hour is:
993451
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. If you want to post a solution, please use a content warning "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
hard mathler 675 3/6
⬜⬜🟩🟩⬜⬜⬜🟩
⬜⬜🟩🟩⬜⬜🟩🟩
🟩🟩🟩🟩🟩🟩🟩🟩
mathler 675 3/6
⬜🟨🟨🟨⬜⬜
⬜🟨🟩🟨⬜🟨
🟩🟩🟩🟩🟩🟩
easy mathler 675 3/6
🟨⬜⬜⬜⬜
🟩🟩🟨🟩⬜
🟩🟩🟩🟩🟩
killer mathler 675 4/6
⬜⬜⬜⬜⬜🟩
🟩⬜🟩⬜⬜🟩
🟩⬜🟩🟩⬜🟩
🟩🟩🟩🟩🟩🟩
#mathler #math #game #puzzle #hardMathler #hard #easyMathler #easy #KillerMathler #killer
Numbword #484 100/100
⬜⬜🟦🟦⬜
🟦🟦⬜⬜⬜
🟦🟦🟦🟦🟦
""Words are, of course, the most powerful drug used by mankind.""
- Rudyard Kipling
https://numbword.com/
#numbword #puzzle #math #wordgame #game #word #wordgames
speed nerdlegame 688 solved in 1m 29s!
⬛🟩⬛⬛⬛🟩🟪⬛
🟪🟩⬛⬛⬛🟩🟩🟩
🟩🟩🟩🟩🟩🟩🟩🟩⏱️
🟩 🟪 ⬛️ Instant Nerdle 674 solved in 0m 27s!
nerdlegame 688 2/6
⬛🟩🟪⬛⬛🟪🟪🟩
🟩🟩🟩🟩🟩🟩🟩🟩
binerdle 575 3&4/7
🟩🟪⬛⬛🟪🟪🟪⬛
🟩🟩🟪🟪🟪⬛🟩⬛
🟩🟩🟩🟩🟩🟩🟩🟩
🟪🟩🟪⬛⬛🟪⬛🟪
🟪⬛🟪⬛🟪⬛🟩⬛
🟪⬛🟪🟪🟩⬛🟩⬛
🟩🟩🟩🟩🟩🟩🟩🟩
mini nerdlegame 688 3/6
⬛⬛⬛🟪🟪⬛
🟩🟩⬛🟩🟩⬛
🟩🟩🟩🟩🟩🟩
mini binerdle 575 3&5/7
🟩⬛🟪🟪⬛⬛
🟩🟩🟩🟪🟩🟪
🟩🟩🟩🟩🟩🟩
🟪⬛⬛🟪🟪⬛
🟪🟪⬛⬛🟩⬛
🟪⬛⬛🟩🟩⬛
🟩⬛⬛🟩🟩🟪
🟩🟩🟩🟩🟩🟩
micro nerdlegame 461 1/6
🟩🟩🟩🟩🟩
#nerdle #nerdlegame #math #game #puzzle #fun #nerdle #miniNerdle #microNerdle #binerdle #mini #micro
Mathle 684 2/5
⬜🟨⬜🟩⬜🟨🟩🟨
🟩🟩🟩🟩🟩🟩🟩🟩
mathlegame.com
#mathle #mathlegame #math #game #puzzle
Greetings fellow humans,
The hectoc of the hour is:
123342
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. If you want to post a solution, please use a content warning "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
There is a neat visual proof of this generalized means' inequality using radii, diameter, chords of a specifically constructed circle. In that case, it is visually clear that the inequality holds. However, the fact that specific line segments correspond to the means is hidden behind a few applications of Pythagoras theorem and/or similar triangles.
These "few application of Pythagoras/similar triangles" will result in the exact same formulation as above (and is in fact the inspiration for the above reformulation).
This can be found here: https://commons.wikimedia.org/wiki/File:MathematicalMeans.svg
Another visual proof, in which the inequality is obvious since the line segments are all on the same line is present here: https://commons.wikimedia.org/wiki/File:MathematicalMeans.svg
I like the first proof *slightly* more because the second requires separate coloring/notation to show where each means' line segment starts and ends which the first does not. Although, if that is not an issue and the figure can be produced with enough clarity, then the immediately obvious inequality relationships are a point in favor of the second proof.
Nerding out on #eigenchris ' wonderful math videos. Just finished the Tensor for Beginners series, going on to Tensor Calculus. Hugely important, as #tensors are the gateway to the theory of #relativity among others. #math #physics
https://www.youtube.com/playlist?list=PLJHszsWbB6hrkmmq57lX8BV-o-YIOFsiG
Here’s how #KevinMcCarthy’s #resignation affects #House #GOP’s already slim #majority.
The resignation of former Speaker McCarthy combined with other #resignations and the recent #expulsion of former Rep. #GeorgeSantos (R-N.Y.), spotlights the #math #problems facing the #razorthin #House #GOP #majority.
#Women #Transgender #LGBTQ #LGBTQIA #Conservatives #Extremism #Fascism #RepublicanParty #Hate #Bigotry #Violence #Genocide #Discrimination #Transphobia #ThePartyOfHate
https://thehill.com/homenews/house/4346402-mccarthy-resignation-slim-house-gop-majority/
Something else to worry about: https://forward.com/fast-forward/529156/a-year-without-hanukkah-its-a-mathematical-certainty-in-the-year-3031/
This is gonna happen in just over 1,000 years!!!
The answer to 230 - 220 × 0.5 is in fact 5!
"It is impossible to be a mathematician without being a poet in soul."– Sofia Kovalevskaya (1850–1891), quoting "one of the leading mathematicians of our century" (probably Karl Weierstrass).
#quote #mathematics #maths #math #poet

"Il est impossible d’être mathématicien sans avoir l’âme d’un poète." – Sofia Kovalevskaya (1850–1891), citant "l’un des principaux mathématiciens de notre siècle" (probablement Karl Weierstrass).
#citation #mathématiques #maths #math #poète

Dear mental calculators,
Your hourly hectoc is here:
179626
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. If you want to post a solution, please use a content warning "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
The half-angle formulas are central! And as a picture is worth a thousand words...
If you don't know what I'm talking about, read my essay 'The Theoretical Importance of Half-Angle Formulas' and discover the most powerful formulas of all time.
Essay: https://drive.google.com/file/d/1jPrWxUhB1Tnsd5RH5UiMhwmkp2jCv11v/view?usp=sharing

Making salsa from n-dimensional tomatoes
===
I was making salsa the other day and got to thinking about the relationship between how many cuts you make and how many pieces you end up with. It's interesting, right? If I make two cuts through a slice of tomato and the cuts are parallel, I get three pieces but if the cuts are perpendicular, I get four. Same number of cuts different outcome. What's going on? It turns out that it has to do with the dimensionality of tomatoes. 1/x #math #mathstodon
Source : X-Twitter / Angel Manuel Ramos del Olmo
https://twitter.com/AMRamosDelOlmo/status/1732739806084362407

@mythologyandhistory And did you know that this #cartography error led to a parched Peach State *today*?!
"Chemical Eye 👁️ on the Borderline" 👉 http://www.sitnews.us/MacDougall/032208_macdougall.html
'A-team' of math proves a critical link between addition and sets. ~ Leila Sloman. https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/ #ITP #LeanProver #Math
A slightly longer Lean 4 proof tour. ~ Terence Tao (@tao). https://terrytao.wordpress.com/2023/12/05/a-slightly-longer-lean-4-proof-tour/ #ITP #LeanProver #Math
A matroid-based automatic prover and Coq proof generator for projective incidence geometry. ~ David Braun, Nicolas Magaud, Pascal Schreck. https://hal.science/hal-04318847/document #ITP #Coq #Math
Artificial intelligence to assist mathematical reasoning. https://nap.nationalacademies.org/catalog/27241/artificial-intelligence-to-assist-mathematical-reasoning-proceedings-of-a-workshop #AI #Math
An Easy-Sounding Problem Yields Numbers Too Big for Our Universe
The 16th century French lawyer and mathematician François Viète [1] was the first person to discover an infinite product formula for π. Viète's formula, which was the first identity to express π as a limit, was published 1593.
Viète's beautiful formula involves just a single number: 2
There is a nice explanation of how Viète's formula works here: https://steemit.com/mathematics/@nenio/vietes-formula-for-pi.
References
--------------
[1] "François Viète", https://en.wikipedia.org/wiki/Fran%C3%A7ois_Vi%C3%A8te
![The 16th French lawyer and mathematician François Viète [1] was the first person to discover an infinite product formula for π. Viète's formula, which was the first identity to express π as a limit, was published 1593.
Viète's beautiful formula involves just a single number: 2
There is a nice explanation of Viète's formula here: https://steemit.com/mathematics/@nenio/vietes-formula-for-pi.
#pi #math #maths
References
--------------
[1] "François Viète", https://en.wikipedia.org/wiki/Fran%C3%A7ois_Vi%C3%A8te](https://assets.toot.cafe/cache/media_attachments/files/111/533/794/953/321/801/small/24417d804b471c62.jpeg)
For #ArtAdventCalendar Day 6 my #linocut of Marjorie Rice (née Jeuck, 1923–2017) who discovered 4 new pentagonal tilings of the Euclidian plane.
The San Diego mother of 5 (6th died in infancy) completed half a correspondence art course after high school & had no training as a #mathematician but was always interested in #math & art. 🧵1/n

Concentration inequalities (in Isabelle/HOL). ~ Emin Karayel, Yong Kiam Tan. https://www.isa-afp.org/entries/Concentration_Inequalities.html #ITP #IsabelleHOL #Math
Martingales (in Isabelle/HOL). ~ Ata Keskin. https://www.isa-afp.org/entries/Martingales.html #ITP #IsabelleHOL #Math
Fermat’s Last Theorem for regular primes. ~ Riccardo Brasca et als. https://github.com/leanprover-community/flt-regular #ITP #LeanProver #Math
U.S. students' #math scores plunge in global education assessment 👇 ✖️ ➗ 🤪
https://www.axios.com/2023/12/05/us-students-pisa-global-assessment
What I do with the students struggling with #math is help them.
I don't usually bother with the #writing unless I cannot understand what they are trying to communicate. There are a lot of students with poor spelling. I think they really have not been exposed to much vocabulary. A lot of students think rain is "percipitation".
We do always see a few students who write libido when they mean albedo. I correct that one.
Imagine you had the chance to buy a new blackboard for your office - what would you choose and why?
a) an actual blackboard (with chalk and everything)
b) a glassboard with good markers (tell me your favorite brand)
(please don't tell me how awful whiteboards are. Will not buy one of those anyway)
#GregoryChaitin - Is #Mathematics #Eternal?
https://www.youtube.com/watch?v=KEuylDsONxo
#Philosophy #PhilosophyOfScience #PhilosophyOfMathematics #Science #Math #Maths #Cantor #Ramanujan #SetTheory #God #Spirituality #Beauty #Transcendence #Numbers #Contradiction #Logic #Poincaré #Poincare #Euler #CloserToTruth #RobertKuhn
If we don't see this as a debilitating effect of technology on society through mass consumerism, we may be missing its root.
"U.S. students' math scores plunge in global education assessment"
Meanwhile, the rest of the world can't read anymore...
https://www.axios.com/2023/12/05/us-students-pisa-global-assessment
U.S. student math scores fall on international test, but many other countries suffered more.
The 74th reports: "The PISA test offers the latest evidence on COVID-related learning loss."
Analytic geometry is a fantastic area of mathematics which is populated by all kinds of crazy objects. Being that it is Christmastime (and therefore Christmas math time) please check out the paradoxical object shown on the left. This object is sometimes known as the Infinite Gift. A related object is known as Gabriel's Wedding Cake [7].
In the Infinite Gift the length of the side of the nth box is 1/√n, so the area of one side of the nth box equals (1/√n)² = 1/n. Since a box has 6 sides the surface area of the nth box is 6·(1/n). Then what you find is that in the limit as n → ∞ the Infinite Gift has infinite surface area but finite volume!
Here's an interesting aside: In the limit the area of the Infinite Gift equals 6 times the harmonic series (which we know diverges [8]).
The continuous version of this object is known as Gabriel’s Horn (aka Torricelli’s Trumpet) and is shown in the figure on the right [1,2]. Gabriel's Horn is the surface of revolution of the function y = 1/x about the x-axis for x ≥ 1. As we can see in image, in the limit Gabriel’s Horn has volume = π and area = ∞. These properties lead to an interesting situation known as the Painter’s Paradox [3,4].
This is the Painter's Paradox: Somehow even though you can fill Gabriel’s Horn with paint (its volume is finite), you still won’t have enough paint to cover its inside surface (its area is infinite)!
Merry Christmas everyone!
#christmastimeischristmasmathtime #infinitegift #gabrielshorn
#torricellistrumpet #math #maths #analyticgeometry
(1/2)


(3/?) Is it magic? No, it's #math. Yes, we’re talking about unsupervised machine grading. For more nuance than social media can provide, check out the paper with links to code and data here: https://law.mit.edu/pub/unsupervised-machine-scoring-of-free-response-answers/release/1

@capntransit @csgstewart #Tennessee legislators and #Nashville City Council take note! Widening interstates will NOT solve one of the nation’s worst traffic problems. Only #MassTransit will.
Use #MATH , c’mon man, you can do it!!
"After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between this logic and other theoretical frameworks such as set theory, mereology, higher-order logic, and modal logic."
Florio, Salvatore, and Øystein Linnebo, The Many and the One: A Philosophical Study of Plural Logic (Oxford, 2021; online edn, Oxford Academic, 23 Sept. 2021), https://doi.org/10.1093/oso/9780198791522.001.0001, accessed 4 Dec. 2023. #OpenAccess #OA #Philosophy #Language #Maths #Math #Mathematics #Logic #NonFiction #Academic #Book #Books #Ebook #Ebooks #Bookstodon @philosophy @bookstodon (67)
Las funciones trigonométricas seno, coseno, tangente, cotangente, verseno, coverseno, secante, exsecante y cosecante en la circunferencia goniométrica. ¿Las conocías todas? #math #matematicas

Fourier transforms are amazing
https://nautil.us/the-math-trick-behind-mp3s-jpegs-and-homer-simpsons-face-234629/
@sc_griffith Pedro the #math cat 🐈🎀 with some snow in his second Winter season ❄️
#cats #CatsOfMastodon

Simple proof that infinities come in different sizes:
lim x->∞ x = ∞(1)
lim x->∞ x² = ∞(2)
∞(2) - ∞(1) = lim x->∞ x² - x = ∞ > 0
QED
It's #CategoryTheory #Caturday again and I'm still stuck on L&S Session 15 Exercise 7! This week I break down my Python code from last week to "solve" Exercise 8, but am still just brainstorming possible solutions for 7. Alphonse is still helping, this time by sitting on the tan cushion which is now back in "ottoman"-form. It seems like a fitting metaphor for my hypothesis about my missing maps somehow. #math #cats https://rruff82.github.io/LS-Categories/session15-p5.html
@matj1
Only 99%? Really?
154476802108746166441951315019919837485664325669565431700026634898253202035277999,
36875131794129999827197811565225474825492979968971970996283137471637224634055579,
4373612677928697257861252602371390152816537558161613618621437993378423467772036
#maths #math #elliptic
https://math.berkeley.edu/~tb65536/AG_Final_Project.pdf
Did you know that 276,951,438 is the smallest 9-digit number that, when written in three rows of 3, forms a 3×3 magic square?
[Image credit: https://en.wikipedia.org/wiki/Magic_constant#/media/File:Magicsquareexample.svg]
References
--------------
[1] "Magic constant", https://en.wikipedia.org/wiki/Magic_constant
[2] "A006003", https://oeis.org/A006003
[3] "Notes on Magic Squares and Cubes", https://www.trump.de/magic-squares
@Sheril The solution is simple #MATH : #PrimaryFromTheCenter ! 🤔
C’mon, folks, this ain’t rocket 🚀 surgery!
Last year, I arranged a series of ten talks by disabled mathematicians, aimed at a general audience.
Presenters included @solderandchaos, @sophiemacmaths, @matthras, and me, roped in at short notice.
The recordings are all still online: https://www.ncl.ac.uk/maths-physics/engagement/outreach/what-can-mathematicians-do-/
If you're starting to put up christmas decorations, my quick explanation of how to fold and cut a Christmas star might inspire you: https://www.youtube.com/watch?v=S90WPkgxvas
Accessible proofs of the transcendence of e and pi:
https://www.youtube.com/watch?v=WyoH_vgiqXM
#maths #e #pi #transcendental #polynomial #number #numbertheory #Mathologer #math
7 of the hardest math problems that have yet to be solved
Source : Interesting Engineering / Tejasri Gururaj
https://interestingengineering.com/lists/math-problems-unsolved-hardest-part1
#mathematics #maths #math #problems
#decompwlj
The decomposition into weight × level + jump of natural numbers is the fundamental theorem of arithmetic ; applied to prime numbers, it leads to a new classification of primes
1000 sequences decomposed with 3D graphs (threejs webGL), 2D graphs - CSV, dump, img to download
⬇️ ⬇️
https://decompwlj.com
➡️ OEISWiki page: Decomposition into weight × level + jump : https://oeis.org/wiki/Decomposition_into_weight_*_level_%2B_jump
➡️ arXiv:0711.0865 [math.NT]: Decomposition into weight * level + jump and application to a new classification of primes: https://arxiv.org/abs/0711.0865
#FundamentalTheoremOfArithmetic #math #maths #mathematics #sequences #OEIS #NumberTheory #PrimeNumbers #JavaScript #php #graph #3D #classification #primes #threejs #webGL #integer #decomposition #arithmetic #numbers #theory #equation #graphs #sieve #fundamental #theorem #arithmetic
The SAT Question Everyone Got Wrong - YouTube
I just talked to someone who knows #math and I asked them why you can't divide by zero. I feel enlightened. 👀
https://garrit.xyz/posts/2023-11-30-why-you-can't-divide-by-zero
This is post 090 of #100DaysToOffload.
Infinity or division by zero error?
JavaScript or PHP? Pick your side 😜
This is the best mathematical explanation of the "division by zero" problem I've seen, explained by #EddieWoo, watch this: https://www.youtube.com/watch?v=J2z5uzqxJNU
"X Value" by @XKCD@ comic - OK... ummm... don't be too quick to depend on a comic strip to do your homework for you. 🤔 https://xkcd.com/2861/ #math #WTF
"Tuple" (in the #Math or #programming context) is pronounced
from "Fractal functions and interpolation" by Michael F. Barnsley (1986)
https://link.springer.com/article/10.1007/BF01893434?utm_source=dlvr.it&utm_medium=mastodon
If a child says that 2+2=22, it's not wrong. It has just done an implicit typecast to string and interpreted the plus sign as a string concatenation operator.
📺 What are these strange dice? | Numberphile
If you like TTRPGs and #math, then this vid will be your jam
Video game developer Freya Holmér has an excellent talk on why you can't multiply vectors. Her talk even includes snail cats and an oracle named Salad!
Carmichael numbers, Fermat's Little Theorem, and a remarkable high school student who has etched their name in mathematical history, in my latest column for @QuantaMagazine