2 ms·
It is not necessary to verify that random presented machines have some property. It suffices that we can reliably construct machines that perform a desired func
by ncmncm 4y ago
It is not necessary to verify that random presented machines have some property. It suffices that we can reliably construct machines that perform a desired function and have the desired property.
- mkleczek 4y ago> 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.