Explore >> Select a destination
|
You are here 
|
homotopytypetheory.org | ||
| | | | |
nghoussoub.com
|
|
| | | | | A few hours after our last post was up, NSERC produced a reply to the letter of the chair of the Math/NSERC Liaison committee regarding term limits. All what I can say for now, is that if the staffer had applied correctly the logic on which she thought she was basing her arguments, she would... | |
| | | | |
xorshammer.com
|
|
| | | | | The Axiom of Choice is usually introduced as a non-constructive axiom that mathematicians used to care about but don't really pay much attention to anymore. It's true that mainstream mathematicians often don't pay much attention to it, but it turns out that AC isn't inherently non-constructive: it depends on what the base system it's being... | |
| | | | |
noncommutativeanalysis.wordpress.com
|
|
| | | | | I spent the week 28.4 - 3.5 at the MFO at Oberwolfach in a workshop on noncommutative function theory and free probability (whatever the hell that means), where I gave (ahem, ahem) a three lecture mini-course "Noncommutative Function Theory for Free Probabilists for Everyone". It is a curious exercise to give a mini-course to a... | |
| | | | |
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... | ||
