N-gated Hacker NewsMay 29
🚨 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
From Finite Integral Domains to Finite Fields - Susam Pal

N-gated Hacker NewsMay 23
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
100 theorems in Lean

Zampedigallina ComicsSep 14, 2024
The infinite monkey theorem #cartoon #cartoons #humour #theorems #functionalilliteracy
Jim Donegan 🎵 ✅Mar 28, 2024

#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

Stephen Wolfram - Is Mathematics Invented or Discovered?

YouTube
Kara FinanceFeb 27, 2024

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/

Word Search Puzzle 305

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

Kara Finance
Knowledge ZoneDec 26, 2023

#KnowledgeByte: #Theorems, #Lemmas, #Conjectures and more - Some common definition and brief concepts. #Math101

https://knowledgezone.co.in/posts/Theorems-Lemmas-Conjectures-and-more-601575e622ad6a84e5c3406b

Theorems, Lemmas, Conjectures and more

Some common definition and brief concepts

Knowledge Zone
Soh Kam YungAug 18, 2023

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

Complexity Theory’s 50-Year Journey to the Limits of Knowledge

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.

Quanta Magazine
ΔΙΑΣΚΕΔΑΣΤΙΚΑ ΜΑΘΗΜΑΤΙΚΑJun 24, 2023
#geometry , #THEOREMS , #Excalibur , #math_magazines
Επιλεγμένα άρθρα του Mathematical Excalibur: FAMOUS GEOMETRY THEOREMS
https://eisatopon.blogspot.com/2023/06/mathematicalexcalibur-famous-geometry.html
Επιλεγμένα άρθρα του Mathematical Excalibur: FAMOUS GEOMETRY THEOREMS

Paysages MathématiquesApr 22, 2023

Famous mathematical theorems illustrated with Midjourney.
Source : Twitter / Tivadar Danka

https://twitter.com/TivadarDanka/status/1649721970886594561
#mathematics #math #maths #theorems #Midjourney

Tivadar Danka on Twitter

“I described some of the most beautiful and famous mathematical theorems to Midjourney. Here is how it imagined them: 1. "The set of real numbers is uncountably infinite."”

Twitter
Knowledge ZoneDec 26, 2022

#KnowledgeByte: #Theorems, #Lemmas, #Conjectures and more - Some common definition and brief concepts. #Math101

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

Theorems, Lemmas, Conjectures and more

Some common definition and brief concepts

Knowledge Zone