Monday, February 29, 2016

On ovens having free will

We all basically know what is meant by free will. Don’t we? We know for example that we get to decide what’s for lunch. We have the ability to choose between different possible courses of action. More formally, we conceive free will to be the capacity for an agent to make choices in which the outcome has not been determined by past events. On the other hand, many folk; those who take a philosophical position that for every event, including the things we humans do, there exist conditions that could cause no other event. That the notion of choice is merely an illusion. Nothing new - this problem has been in circulation in ancient Greek philosophy and remains a major focus of philosophical debate today.



But here’s a little twist. Is it just us living things that get to exercise free will? Can for example a microwave oven possess free will?

To go there, let me first talk about Alan Turing’s halting problem. Not withstanding the technical logic/mathematical framework – this work is historically important because it was one of the first problems to be proved undecidable. In computability theory for instance, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running or continue to run forever. Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist.

A new Turing Test for free will can determine whether somebody, or something, thinks it has free will. And whilst your Microwave oven might fail this test, more complex systems – your phone for instance may well pass. Research suggests that that there are clear mechanisms in computation that make the outcome of a given calculation unpredictable, especially to the person or object making it. The key contribution of this latest work is a mathematical proof of this idea.

For many thinkers, the fundamental issue of free will is whether the deterministic laws of the universe can produce an intrinsically unpredictable outcome. If our thought processes are governed by these deterministic laws, then surely a given outcome is determined long before we begin to think about it.

The idea of Turing is used to prove that deciders; people or machines that make decisions cannot in general predict the results of their decision-making process in advance. In other words, the outcome of a decision is unpredictable by its very nature. The proof is an extension of Turing’s halting problem in computer science. This states that there is no general way of knowing how an algorithm will finish, other than to run it. What’s more, any attempt to determine the decider’s decision independently must take longer than the decider itself.

This means that when we have to make a decision, there is no way of knowing in advance how it will end up. The familiar experience of a decider does not know the final decision until we have thought it through. This is a necessary feature of the decision-making process. But, what of our ipods? As gadgets become more complex, they become unpredictable, even imperious, in ways that are all too human. It seems that complex gadgets possess all the criteria required for free will, and behave as if they it.