#theorems — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #theorems, aggregated by home.social.
-
What Do Gödel's Incompleteness Theorems Mean?
https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/
#HackerNews #Gödel #Incompleteness #Theorems #Mathematics #Philosophy #Logic #Science
-
What Do Gödel's Incompleteness Theorems Mean?
https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/
#HackerNews #Gödel #Incompleteness #Theorems #Mathematics #Philosophy #Logic #Science
-
What Do Gödel's Incompleteness Theorems Mean?
https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/
#HackerNews #Gödel #Incompleteness #Theorems #Mathematics #Philosophy #Logic #Science
-
What Do Gödel's Incompleteness Theorems Mean?
https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/
#HackerNews #Gödel #Incompleteness #Theorems #Mathematics #Philosophy #Logic #Science
-
What Do Gödel's Incompleteness Theorems Mean?
https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/
#HackerNews #Gödel #Incompleteness #Theorems #Mathematics #Philosophy #Logic #Science
-
A Good Lemma Is Worth a Thousand Theorems
https://sites.math.rutgers.edu/~zeilberg/Opinion82.html
#HackerNews #GoodLemma #Theorems #Mathematics #Research #MathCommunity #KnowledgeSharing
-
A Good Lemma Is Worth a Thousand Theorems
https://sites.math.rutgers.edu/~zeilberg/Opinion82.html
#HackerNews #GoodLemma #Theorems #Mathematics #Research #MathCommunity #KnowledgeSharing
-
A Good Lemma Is Worth a Thousand Theorems
https://sites.math.rutgers.edu/~zeilberg/Opinion82.html
#HackerNews #GoodLemma #Theorems #Mathematics #Research #MathCommunity #KnowledgeSharing
-
A Good Lemma Is Worth a Thousand Theorems
https://sites.math.rutgers.edu/~zeilberg/Opinion82.html
#HackerNews #GoodLemma #Theorems #Mathematics #Research #MathCommunity #KnowledgeSharing
-
What Gödel Discovered (2020)
#HackerNews #Gödel #Discovered #Incompleteness #Theorems #Mathematics #Philosophy #Logic #2020
-
What Gödel Discovered (2020)
#HackerNews #Gödel #Discovered #Incompleteness #Theorems #Mathematics #Philosophy #Logic #2020
-
What Gödel Discovered (2020)
#HackerNews #Gödel #Discovered #Incompleteness #Theorems #Mathematics #Philosophy #Logic #2020
-
What Gödel Discovered (2020)
#HackerNews #Gödel #Discovered #Incompleteness #Theorems #Mathematics #Philosophy #Logic #2020
-
What Gödel Discovered (2020)
#HackerNews #Gödel #Discovered #Incompleteness #Theorems #Mathematics #Philosophy #Logic #2020
-
#KnowledgeByte: #Theorems, #Lemmas, #Conjectures and more - Some common definition and brief concepts. #Math101
https://knowledgezone.co.in/posts/Theorems-Lemmas-Conjectures-and-more-601575e622ad6a84e5c3406b
-
#KnowledgeByte: #Theorems, #Lemmas, #Conjectures and more - Some common definition and brief concepts. #Math101
https://knowledgezone.co.in/posts/Theorems-Lemmas-Conjectures-and-more-601575e622ad6a84e5c3406b
-
#KnowledgeByte: #Theorems, #Lemmas, #Conjectures and more - Some common definition and brief concepts. #Math101
https://knowledgezone.co.in/posts/Theorems-Lemmas-Conjectures-and-more-601575e622ad6a84e5c3406b
-
#KnowledgeByte: #Theorems, #Lemmas, #Conjectures and more - Some common definition and brief concepts. #Math101
https://knowledgezone.co.in/posts/Theorems-Lemmas-Conjectures-and-more-601575e622ad6a84e5c3406b
-
#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 -
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 -
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 -
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 = 91/13 = 076923 …
076 + 923 = 999
[...]" -
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 = 91/13 = 076923 …
076 + 923 = 999
[...]" -
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 = 91/13 = 076923 …
076 + 923 = 999
[...]" -
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 = 91/13 = 076923 …
076 + 923 = 999
[...]" -
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 = 91/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/
-
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/
-
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/
-
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/
-
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/
-
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/
-
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/
-
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/
-
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 -
🚨 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 -
🚨 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 -
🚨 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 -
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