Explore >> Select a destination
|
You are here 
|
blog.computationalcomplexity.org | ||
| | | | |
ianwrightsite.wordpress.com
|
|
| | | | | Are Cantor's higher infinities really real? | |
| | | | |
math.andrej.com
|
|
| | | | | ||
| | | | |
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... | |
| | | | |
thehousecarpenter.wordpress.com
|
|
| | | NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I... | ||
