Explore >> Select a destination
|
You are here 
|
mathscholar.org | ||
| | | | |
liorpachter.wordpress.com
|
|
| | | | | 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
|
|
| | | | | 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
|
|
| | | | | Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach. | |
| | | | |
www.scottaaronson.com
|
|
| | | |||
