An excellent philosophical treatment of the mechanistic thesis and the issue of free will. The author essentially shows for anyone who believes in rational and coherent thought then one has to believe in free will. He does this utilising Godel's incompleteness theorems and it's consequences for logical and formal systems and subsequently demonstrating why the human is not a computational machine. There is more to a human then being a mechanistic being and therefore a non-determinist outlook on the concept of free will is presented.