> "If we are ever to make a machine that will speak, understand or translate human language, solve mathematical problems with imagination, practice a profession or direct an organization, either we must reduce these activities to a science so exact that we can tell a machine precisely how to go about doing them or we must develop a machine that can do things without being told precisely how,"
It always amazes me how far-seeing some people were in the early (and pre-) history of computers. The quote above shows such insight/intuition into the future potential of machines, the need for program correctness, the role and nature of machine learning.
