|
You are here |
scottaaronson.blog | ||
| | | | |
gowers.wordpress.com
|
|
| | | | | 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... | |
| | | | |
blog.computationalcomplexity.org
|
|
| | | | | 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 ... | |
| | | | |
www.lesswrong.com
|
|
| | | | | Paul Christiano has deviseda new fundamental approachto the "Löb Problem" wherein Löb's Theorem seems to pose an obstacle to AIs building successor... | |
| | | | |
acko.net
|
|
| | | Exploring the outer limits: on the nature of infinity, continuity and convergence. | ||