Free will

I had an interesting discussion with a friend of mine the other day. The question we started to discuss was weather free will exists or not. Of course, this question has bother me, as probably most anyone, before. But I think we managed to get to some interesting conclusions this time.

First it is important to try to classify free will. Free will is not a deterministic process. It means that a system possessing free will is not possible to describe with mathematics, so it is not possible to tell how the system will respond to a given input.

Next it is important to note that free will is not a random process, as suggested by some. Free will is neither of these two. Therefore it is so hard to classify, because we only know about these two types of processes.

So, out conclusion now. Free will is a process where it can not be determined how it will respond to a given input by any external derivation (as for deterministic processes) or external statistics (as for random processes). But it can be foreseen (or determined) by the process it self! So the system possessing free will can it self determine how it will respond to a given input, while still no other process can make that deduction.

Now this ides I think is in no way new. I believe this is what Douglas R. Hofstadter tries to claim in Gödel, Escher, Bach. I would like to make a prediction, or definition or what ever it should be called, with a more formal claim about a system possessing free will: A system possessing free will is a system that can (however that is done) solve the halting problem for it self.