/explore
|
You are here 
|
a3nm.net | ||
| | | | |
www.jeremykun.com
|
|
| | | | | Decidability Versus Efficiency In the early days of computing theory, the important questions were primarily about decidability. What sorts of problems are beyond the power of a Turing machine to solve? As we saw in our last primer on Turing machines, the halting problem is such an example: it can never be solved a finite amount of time by a Turing machine. However, more recently (in the past half-century) the focus of computing theory has shifted away from possibility in favor of determining feasibility. | |
| | | | |
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... | |
| | | | |
scottaaronson.blog
|
|
| | | | | Way back in 2005, I posed Ten Semi-Grand Challenges for Quantum Computing Theory, on at least half of which I'd say there's been dramatic progress in the 16 years since (most of the challenges were open-ended, so that it's unclear when to count them as "solved"). I posed more open quantum complexity problems in 2010,... | |
| | | | |
www.parsonsmatt.org
|
|
| | | (this post is part of a series on Object Oriented Programming in Haskell - see tutorials for a table of contents) | ||
