Explore >> Select a destination
|
You are here 
|
math.andrej.com | ||
| | | | |
pressron.wordpress.com
|
|
| | | | | 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... | |
| | | | |
mycqstate.wordpress.com
|
|
| | | | | This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a "proof-based" discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also has a larger literature available on it, for the purposes of the post I will... | |
| | | | |
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... | |
| | | | |
screammonkey.wordpress.com
|
|
| | | Everyone talking about it, wether or not you should be capping you VP every week so you can get better gear so you can get even moar loot!!! I was so ready for this when Firelandswent live, max VP every weekand do the dailies and zomg get gear asap! Heck, if anyone needs gear its... | ||
