A Theoretical Computer Science Perspective on Free Will