Free agency and determinism: is there a sensible definition of computational sourcehood?

Marius Krumm, Markus P. Mueller

Can free agency be compatible with determinism? Compatibilists argue that the answer is yes, and it has been suggested that the computer science principle of "computational irreduc…