See Marr's 3-levels hypothesis. If we "run" an algorithm able to find a program to compute arbitrary data, there must to exist that general algorithm. We (just) need to copy it and implement in silicon..