/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 math.andrej.com
Mathematics and Computation | Am I a constructive mathematician?
| | pressron.wordpress.com
What We Talk About When We Talk About Computation
2.7 parsecs away

Travel
| | Abstract: Machine and language models of computation differ so greatly in the computational complexity properties of their representation that they form two distinct classes that cannot be directly compared in a meaningful way. While machine models are self-contained, the properties of the language models indicate that they require a computationally powerful collaborator, and are better...
| | www.quantamagazine.org
Why Mathematical Proof Is a Social Compact | Quanta Magazine
2.4 parsecs away

Travel
| | Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach.
| | rjlipton.com
Surely You Are Joking? | Gödel's Lost Letter and P=NP
1.8 parsecs away

Travel
| | 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
An Argument for Controlled Natural Languages in Mathematics | Jigger Wit
16.2 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...