Explore >> Select a destination
|
You are here 
|
math.andrej.com | ||
| | | | |
4gravitons.com
|
|
| | | | | Merging quantum mechanics and gravity is a famously hard physics problem. Explaining why merging quantum mechanics and gravity is hard is, in turn, a very hard science communication problem. The more popular descriptions tend to lead to misunderstandings, and I've posted many times over the years to chip away at those misunderstandings. Merging quantum mechanics... | |
| | | | |
rjlipton.com
|
|
| | | | | 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... | |
| | | | |
tomasp.net
|
|
| | | | | 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? | |
| | | | |
dominiczypen.wordpress.com
|
|
| | | The starting point of this blog post is a slight reformulation of the $latex T_0$ separation axiom: A topological space $latex (X,\tau)$ is $latex T_0$ if for all $latex x\neq y\in X$ there is a set $latex U\in \tau$ such that $latex \{x,y\}\cap U \neq \emptyset \text{ and } \{x,y\}\not\subseteq U.$ Given a cardinal $latex... | ||
