What Have We Learned in the Path from Godel and Turing to Artificial Intelligence?