His naturalism doesn't seem coherent. If no physical system can compute incomputable functions, then it's special pleading to insist that there's a difference between natural laws and mathematical laws.