Explore >> Select a destination
|
You are here 
|
mattbaker.blog | ||
| | | | |
micromath.wordpress.com
|
|
| | | | | Continuing the theme of alternative approaches to teaching calculus, I take the liberty of posting a letter sent by Donald Knuth to to the Notices of the American Mathematical Society in March, 1998 (TeX file). Professor Anthony W. Knapp P O Box 333 East Setauket, NY 11733 Dear editor, I am pleased to see so... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a graduate course at the University of Notre Dame. Course title: Gödel incompleteness Course description. We shall explore at length all aspects of the Gödel incompleteness phenomenon,... | |
| | | | |
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... | |
| | | | |
stevensoojin.kim
|
|
| | | A survey of Poincaré inequalities appearing outside of PDE. | ||
