The Lighthill debate on Artificial Intelligence (1973)