Explore >> Select a destination


You are here

mathscholar.org
| | www.jeremykun.com
4.8 parsecs away

Travel
| | 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.
| | jiggerwit.wordpress.com
3.1 parsecs away

Travel
| | 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...
| | www.quantamagazine.org
2.9 parsecs away

Travel
| | Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach.
| | cronokirby.com
21.6 parsecs away

Travel
| - Read more: https://cronokirby.com/posts/2021/04/constant-time-big-numbers-introduction/