Turing Machines

[txen]

The Turing thesis is pretty narrow. In fact I think it's narrower than your assertion. There is a formalism to it. It concerns "computable functions." In that scope I think it's a rather trivial assumption. I just don't see how that applies to something as esoteric as freewill.

Note that certain classes of problems have been proven to be non computable. A classic example would be the halting problem. Closely related is Chaitin's constant. Also tangentially related would be Godel's incompleteness theroem. What I find important is these topics tell us that certain things are unknowable. It's part of the structure of reality.

By the way I believe in freewill. Not from a religious perspective. More based on quantum mechanics. We live in a world that gets fuzzy at the small scales. Luck of the draw rules there. The mechanisms that nerve cells function on summation and probability.