Este es un reto que fue formulado ya por Turing (1948), McCarthy (1962), Floyd (1967), etc.