Explore >> Select a destination


You are here

mathscholar.org
| | liorpachter.wordpress.com
4.7 parsecs away

Travel
| | I'm a (50%) professor of mathematics and (50%) professor of molecular & cell biology at UC Berkeley.There have been plenty of days when I have spent the working hours with biologists and...
| | 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.
| | www.scottaaronson.com
34.8 parsecs away

Travel
|