Explore >> Select a destination


You are here

gowers.wordpress.com
| | rjlipton.com
4.5 parsecs away

Travel
| | 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...
| | blog.computationalcomplexity.org
5.0 parsecs away

Travel
| | As someone who has literally written a book on the topic, I have had many people over the years send me their attempts at P v NP proofs. On ...
| | scottaaronson.blog
5.6 parsecs away

Travel
| | In Michael Sipser's Introduction to the Theory of Computation textbook, he has one Platonically perfect homework exercise, so perfect that I can reconstruct it from memory despite not having opened the book for over a decade. It goes like this: Let f:{0,1}*?{0,1} be the constant 1 function if God exists, or the constant 0 function...
| | gowers.wordpress.com
23.8 parsecs away

Travel
| It's been a while since I have written a post in the "somewhat philosophical" category, which is where I put questions like "How can one statement be stronger than an another, equivalent, statement?" This post is about a question that I've intended for a long time to sort out in my mind but have found...