Some Junk Theorems in Lean
https://github.com/James-Hanson/junk-theorems-in-lean
#HackerNews #Some #Junk #Theorems #in #Lean #programming #Lean #Theorems #Junk #Theorems #Math #Community
#Theorems
Some Junk Theorems in Lean
https://github.com/James-Hanson/junk-theorems-in-lean
#HackerNews #Some #Junk #Theorems #in #Lean #programming #Lean #Theorems #Junk #Theorems #Math #Community
#KnowledgeByte: #Theorems, #Lemmas, #Conjectures and more - Some common definition and brief concepts. #Math101
https://knowledgezone.co.in/posts/Theorems-Lemmas-Conjectures-and-more-601575e622ad6a84e5c3406b
Lean, mean, theorem-proving machine! 🤖✨ Welcome to the #GitHub #math library where #AI is here to save us from our own #coding incompetence. Ready for some serious number-crunching excitement? Because nothing screams "fun" like automating every tedious task imaginable. 🎉😴
https://github.com/leanprover-community/mathlib4 #Automation #Theorems #Fun #HackerNews #ngated
Fascinating.
"The decimal expansion of 1/7 is
0.142857142857 …
Interestingly, if you split the repeating decimal period in half and add the two complements, you get a string of 9s:
142 + 857 = 999
It turns out this is true for every fraction with a prime denominator and a repeating decimal period of even length:
1/11 = 0.090909 …
0 + 9 = 9
1/13 = 076923 …
076 + 923 = 999
[...]"
Interesting Mathematics Facts
Preamble novaTopFlex returns to a mathematic conquest of the journey to the top, the gateway to pure mathematic joy and excellence, and all the way to the purest forms of excitement! The novaTop community shall anticipate the highest performance levels possible in every respect in terms of what is considered ideal, desirable, and acceptable, with very high standards to ensure accuracy, fairness, and correctness. Starting with phase one, where a calculator is allowed, recommended, and […]https://novatopflex.wordpress.com/2025/10/08/interesting-mathematics-facts/
Wow.
"Hannah Cairo, just 17 at the time [...] had solved a 40-year-old mystery about how functions behave, called the Mizohata-Takeuchi conjecture.
“We were all shocked, absolutely. I don’t remember ever seeing anything like that,” said Itamar Oliveira of the University of Birmingham, who has spent the past two years trying to prove that the conjecture was true. In her paper, Cairo showed that it’s false."
https://www.quantamagazine.org/at-17-hannah-cairo-solved-a-major-math-mystery-20250801/
🚨 Breaking news: Mathematician discovers that #field ≠ domain! 🌍 Prepare to have your mind blown as you traverse the riveting universe of algebraic definitions and recycled #theorems. 📚✨ Spoiler alert: it’s all been done before! 🙄
https://susam.net/from-finite-integral-domains-to-finite-fields.html #mathematics #algebra #discovery #domain #news #HackerNews #ngated
Ah yes, let's all get excited about yet another list of #math #theorems being checked off in #Lean, because who wouldn't want to spend their weekend editing a #YAML file on GitHub? 🤓📝 Apparently, nothing screams cutting-edge #innovation like turning math into a scavenger hunt for theorem provers. 🎉🔍
https://leanprover-community.github.io/100.html #GitHub #theoremprovers #HackerNews #ngated
#StephenWolfram - Is #Mathematics #Invented or #Discovered?
https://www.youtube.com/watch?v=RlMMeqO7wOI
#Philosophy #PhilosophyOfMathematics #Math #Maths #Logic #Metaphysics #Science #PhilosophyOfScience #Abstraction #Geometry #Arithmetic #Theorem #Theorems #Axiom #Axioms #Axiomatic #AxiomSystem #AxiomSystems #Computation #Irreducibility #CloserToTruth #RobertKuhn
#KnowledgeByte: #Theorems, #Lemmas, #Conjectures and more - Some common definition and brief concepts. #Math101
https://knowledgezone.co.in/posts/Theorems-Lemmas-Conjectures-and-more-601575e622ad6a84e5c3406b
A long and interesting article on complexity in mathematics. Basically, whether P = NP.
"How hard is it to prove that problems are hard to solve? Meta-complexity theorists have been asking questions like this for decades. A string of recent results has started to deliver answers."
#Mathematics #LongRead #Complexity #Theorems #MetaComplexity
#geometry , #THEOREMS , #Excalibur , #math_magazines
Επιλεγμένα άρθρα του Mathematical Excalibur: FAMOUS GEOMETRY THEOREMS
https://eisatopon.blogspot.com/2023/06/mathematicalexcalibur-famous-geometry.html
Famous mathematical theorems illustrated with Midjourney.
Source : Twitter / Tivadar Danka
https://twitter.com/TivadarDanka/status/1649721970886594561
#mathematics #math #maths #theorems #Midjourney
#KnowledgeByte: #Theorems, #Lemmas, #Conjectures and more - Some common definition and brief concepts. #Math101
After my previous reply to @erou I remember a couple of *my early theorems*, at the time (10-12 years old) I knew the results were right, but the actual proof come much later when I was in the mid of my B.Sc.
1. \(\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots = \sum_{n=1}^\infty 2^{-n} = 1\).
2. \(\frac{1}{2} - \frac{1}{4} + \frac{1}{8} - \frac{1}{16} + \cdots = \sum_{n=1}^\infty (-1)^{n-1} 2^{-n} = \frac{1}{3}\).
@erou Wow! I solve that problem (intuitively) when I was like 10 years old (I had a notebook with my theorems... there were about three! five tops, but I was really proud).
Back then I noted that any \(n\)-polygon can be split into \(n-2\) triangles (much later, I found that it is the base of triangulation XD), from there the result is trivial.
#mathematics #equations #theorems #fractals #chaos_theory #google #youtube #sumpter #uppsala #sweden #global
Equations built giants like Google. Who’ll find the next billion-dollar bit of maths?
Watch "The Road to #Gödel's Incompleteness #Theorems - Juliette Kennedy" on YouTube - https://youtu.be/22uZqPPwPNo
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst