Explore >> Select a destination
|
You are here 
|
ianwrightsite.wordpress.com | ||
| | | | |
www.jesperjuul.net
|
|
| | | | | ||
| | | | |
explained-from-first-principles.com
|
|
| | | | | A lot of modern cryptography builds on insights from number theory, which has been studied for centuries. | |
| | | | |
njwildberger.com
|
|
| | | | | There are several approaches to the modern theory of "real numbers". Unfortunately, none of them makes complete sense. One hundred years ago, there was vigorous discussion about the ambiguities with them and Cantor's theory of "infinite sets". As time went by, the debate subsided but the difficulties didn't really go away. A largely unquestioning uniformity... | |
| | | | |
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... | ||
