Nice way to put it. As Franzen points out in "Inexhaustibility", although non-logicians sometimes find it puzzling, the above is related to what mathematicians mean when they say that a statement is true without further qualification. For instance, take Gödel's first incompleteness theorem. It states that if F is any consistent formal system capable of proving statements about whether or not arbitrary Turing machines halt, then there are true statements which cannot be proved within F. (Here, consistent means that it's not possible within F to prove both a statement "S" and its negation "not S".)
In the same sense, its true (as Aaronson wrote in "Logicians on Safari") that "there’s a finite (and not unimaginably-large) set of boxes, such that if we knew how to pack those boxes into the trunk of your car, then we’d also know a proof of the Riemann Hypothesis."
Here's philosophers' take on Kurt Godel:
I am, however, curious as to how other problems in computational complexity figure in philosophy, e.g., P vs. NP completeness. Wish I had the time to read the essay.
But maybe that's not a useful definition of free will. The conventional, fuzzy definition of free will has an omniscient narrator in it; "I do not have free will if the omniscient narrator knows in advance everything I will do" is a reasonable expansion of the conventional idea. But in my hypothesized universe, there is no omniscient narrator. There are only various entities with various degrees of computational power, with a varying but rather quantifiable amount of information that any entity can obtain about any other.
Suppose it can be demonstrated that it is computationally infeasible for any entity due to being too complex to ever predict the actions of any human-sized (or greater) other entity, even if granted all the remaining resources in the universe to compute the actions. Or suppose it is demonstrated to be quite easy. Either way, that would be an interesting philosophical contribution, no?
(I'm just sketching the idea here. I'm not trying to defend it or attack it. Oh, and one of the foundations of philosophy is that there is never One True Definition; all loaded terms in this post are ultimately ill-defined, and I've avoided the distraction of even beginning to nail them down on purpose.)
While the idea of God looking down on us from on high is a compelling story, if you take God away but leave determinism it doesn't do anything to resolve the problem: our actions are still pre-determined and cannot be changed.
Of course, whether or not that makes us free is a further question. A compatibilist  would claim that we are.
Epistemology becomes much richer when fed with mathematical proofs of statements like this, and some older snap answers at least have to be reconsidered.
However, it's not in any way obvious that there are metaphysical implications to the limits this sort of result would place on knowledge. Facts are (for present purposes) simply to be identified with physical states of affairs. If some physical state of affairs is unknowable (and "System S will be in state R at time T" certainly looks like a physical state of affairs), does that mean it does not (or will not) actually obtain? I have a hard time seeing how one could make that argument, although of course that shouldn't stop you, if you think you have a good angle!
To address the particular example under discussion: if you take free will to consist of the impossibility of predicting an agent's actions and conclude that because this prediction is impossible, we are free, you still need to provide a further argument that your definition of free will is the correct one.
I'm not prejudging whether or not you could come up with a convincing argument to that effect—it might well be possible. But to my mind, the point of the omniscient narrator example is to add determinism to the system: because our actions are known in advance, they can be known in advance; if they can be known in advance, they must be determined. I take this to be the implicit argument when people suggest that we're not free because God knows what we will do.
Obviously there are different ways in which we can understand the modalities of time, and I won't try to pretend that this isn't a contentious area.
I subscribe to the belief that there are four types of knowledge and beliefs: ontological subjectivity, ontological objectivity, epistemological subjectivity, and epistemological objectivity. Various thoughts can be categorized into each one of these depending on what is being expressed.
Also, FWIW omniscience is not logically incompatible with free will.
The incompatibilist argument is at heart very straightforward: free will is incompatible with determinism; determinism is true; therefore free will does not exist. When pressed on the second premise, the incompatibilist can further assert that indeterminism is incompatible with free will, and that determinism and indeterminism exhaust the possibilities (this is just an instance of the law of the excluded middle). Therefore regardless of which one of them holds, free will does not exist.
However, even this argument requires a definition of free will, in order to demonstrate its incompatibility with (in)determinism. It thus suffers from the same 'problem' that you allege compatibilism does: the compatibilist can simply say that the incompatibilist is defining the problem into existence.
I'm curious to know what you think an answer which didn't suffer from the problem you outline would look like.
Aaronson covers this, pointing out that those results are both in computability theory, not complexity.
Will need to read this, of course. My fault for replying before at least attempt to scan over the full essay linked from the post.
That sentence is messed up in a bunch of ways. You probably meant: "Turing-undecidable problems are a subset of NP-hard problems."
(Actually, are uncomputable problems necessarily NP-hard? This sounds obvious at first, but then you realize, wait, why would the reduction be polynomial time? If we assume our undecidable problem is at least as hard as the halting problem there's an obvious constant-time reduction, but what if it's intermediate? Is this something that's known?)
You're right to raise that question. It's a classical result of computability theory that there exists an undecidable problem that is strictly easier than the halting problem: http://en.wikipedia.org/wiki/Turing_degree#Post.27s_problem_...
But while that's certainly true in a sense, that doesn't imply what you stated -- just because they care about computability theory doesn't mean they care about this aspect of it.
In regard to your second point, you say "other problems in computational complexity". Again, you mentioned computability theory, not CCT. They are different endeavors. Aaronson was careful to say that this is not another essay on philosophy and computability.
At least I think the above is true for "analytic" philosophers. The "continentals", on the other hand, have been engaging in an extended attack on transcendent rationality since Nietszche who said, to paraphrase, that every transcendent metaphysics was an attempt to justify a morality, and every morality was facilitated a (usually inarticulate) "will to power." (This line sort of starts with Hegel, who posited that rationality emerged from history and the development of a collective human spirit, but wasn't "out there" before that). Godel seems like ammunition for these guys, but I don't think they have picked him up much. I guess if you are anti-rationalist, the last thing you read up on is advanced logic, even if it is so advanced it comes to its own frontier.
For starters, philosophers are plenty comfortable with the limits of rationality, and were poking at that long before Gödel came along. Similarly, "using logic to understand everything" is a pretty sweeping generalization, and one which quite likely commits an equivocation the way you're trying to use it.
As for analytic philosophy, well, you seem to have a lot of misconceptions about what exactly that means. Analytic philosophy's certainly done its fair share of dumb things, but blowing off Gödel for showing "the limits to logic"? Not sure where you get that one from; for the most part, analytic philosophers have been spending the last century or so on things like the problem of demarcation; Gödel's work with respect to formal systems is basically irrelevant to that and to plenty of other things philosophers spend their time on.
Given this track, a philosophical mind will produce a lot of thoughts, models, and theories of how anything that already exists could exist in the first place. That is itself an interesting mind-game that in some cases might even produce an insight that is applicable to something real, but generally that's where it should stay.
The mind can't think itself into existence, even if it wants to believe it can.
If it does the result bears resemblance to as if someone would try to describe forest but only be allowed to draw straight lines in one color. At best it could be exemplary line art, at worst it's just ridiculous and childish and most people will turn the other way.
With good reason. The logician Torkel Franzen said it well in "Gödel's Theorem: An Incomplete Guide" [Chapter 8, p 148]: ``Chaitin's claim to have discovered "the amazing fact that some mathematical statements are true for no reason" has no apparent content, but seems rather to be based on the general associations surrounding the word "random".''
this work was later manifested in the work of stafford beer creating a control center in chile during the 70s.(http://en.wikipedia.org/wiki/Project_Cybersyn).