Explore >> Select a destination


You are here

ncatlab.org
| | tomasp.net
4.3 parsecs away

Travel
| | The question whether aliens would understand lambda calculus is intriguing because it vividly formulates a fundamental question about our formal mathematical knowledge. Are mathematical theories and results about them invented, i.e. constructed by humans, or discovered, i.e. are they eternal truths that exist regardless of whether there are humans to know them?
| | www.quantamagazine.org
3.9 parsecs away

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

Travel
| | Modern mathematics is enormously complicated and sophisticated. It takes some courage, and perhaps some foolishness, to dare to suggest that behind the fancy theories lie serious logical gaps, and indeed error. But this is the unfortunate reality. Around the corner, however, is a new and more beautiful mathematics, a more honest mathematics, in which everything...
| | nickhar.wordpress.com
29.2 parsecs away

Travel
| 1. Low-rank approximation of matrices Let $latex {A}&fg=000000$ be an arbitrary $latex {n \times m}&fg=000000$ matrix. We assume $latex {n \leq m}&fg=000000$. We consider the problem of approximating $latex {A}&fg=000000$ by a low-rank matrix. For example, we could seek to find a rank $latex {s}&fg=000000$ matrix $latex {B}&fg=000000$ minimizing $latex { \lVert A - B...