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. | |
| | | | |
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,... | |
| | | | |
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... | |
| | | | |
www.u-tokyo.ac.jp
|
|
| | | [AI summary] This page provides a directory of the University of Tokyo's official social media accounts across various departments and organizations. | ||
