Lmst

🚨 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

The infinite monkey theorem #cartoon #cartoons #humour #theorems #functionalilliteracy

#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

Word Search Puzzle 305

Word List : #outraise #dette #ashcan #vindices #ondagram #memoirs #axles #onomancy #ratan #jock #incises #agilely #wardite #spectral #motleyer #baroness #forra #theorems

http://karafinance.com/2024/02/27/word-search-puzzle-305/

#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."

https://www.quantamagazine.org/complexity-theorys-50-year-journey-to-the-limits-of-knowledge-20230817/

#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

https://knowledgezone.co.in/posts/601575e622ad6a84e5c3406b

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}\).

#mathematics #theorems #young #science

@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 #theorems #young #science