Explore >> Select a destination
|
You are here 
|
mathscholar.org | ||
| | | | |
www.jeremykun.com
|
|
| | | | | This post assumes working knowledge of elementary number theory. Luckily for the non-mathematicians, we cover all required knowledge and notation in our number theory primer. So Three Thousand Years of Number Theory Wasn't Pointless It's often tough to come up with concrete applications of pure mathematics. In fact, before computers came along mathematics was used mostly for navigation, astronomy, and war. In the real world it almost always coincided with the physical sciences. | |
| | | | |
rjlipton.com
|
|
| | | | | A new way to write mathematics Vladimir Voevodsky won the Fields Medal in 2002 for his work on homotopy theory of algebraic varieties. Using his pioneering methods he proved, among many other things, a deep conjecture of John Milnor, that had been open for decades. Today I want to talk about, no, rant about, a... | |
| | | | |
jiggerwit.wordpress.com
|
|
| | | | | What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer... | |
| | | | |
divisbyzero.com
|
|
| | | After writing about some well known people with degrees in mathematics, I was moved to re-listen to some old Tom Lehrer songs on YouTube. I decided I'd post some links to his more mathematical songs here. Enjoy. First, "Lobachevsky," a song about the Russian mathematician Nikolai Lobachevsky and his discovery of non-Euclidean geometry, which some... | ||
