It was a rhetorical question. The point was once you have a definition of intelligence - yours is one of many fine definitions - you can refine that into a metr

It was a rhetorical question. The point was once you have a definition of intelligence - yours is one of many fine definitions - you can refine that into a metric for comparing different intelligences, and then you have a way for a comparison function given two program descriptions to determine which is "more intelligent". Building artificial intelligence then reduces to undirected search, assuming infinite CPU and RAM.