Explore >> Select a destination
|
You are here 
|
thatsmaths.com | ||
| | | | |
7stones.com
|
|
| | | | | [AI summary] The blog post discusses the abc conjecture, its mathematical implications, and the controversy surrounding Shinichi Mochizuki's proof, while also reflecting on the author's limited understanding and the broader STEM community's reaction. | |
| | | | |
xenaproject.wordpress.com
|
|
| | | | | A huge amount happened in the Lean theorem prover community in 2023; this blog post looks back at some of these events, plus some of what we have to look forward to in 2024. Modern mathematics I personally am a member of the Lean community because of its phenomenal mathematics library mathlib, which was born... | |
| | | | |
mattbaker.blog
|
|
| | | | | Today is the 10th anniversary of the death of Martin Gardner. His books on mathematics had a huge influence on me as a teenager, and I'm a fan of his writing on magic as well, but it was only last year that I branched out into reading some of his essays on philosophy, economics, religion,... | |
| | | | |
blog.sigfpe.com
|
|
| | | [AI summary] The article explains why defining a truth predicate for set theory (ZF) is impossible despite the success of similar definitions in propositional calculus and Peano arithmetic, based on Tarski's theorem and the limitations of transfinite recursion when applied to infinite collections of children. | ||
