> It suffices that we can reliably construct machines that perform a desired function and have the desired property. See above - there is no reliable procedure

> It suffices that we can reliably construct machines that perform a desired function and have the desired property. See above - there is no reliable procedure (algorithm) that would allow you to do that.