Y
Hacker News
new
|
ask
|
show
|
jobs
by
ncmncm
1484 days 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.
1 comments
mkleczek
1484 days 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.
link
See above - there is no reliable procedure (algorithm) that would allow you to do that.