An examination of the efforts of artificial intelligence to model the human mind and explain human thought by means of suitably programmed computers. Attention is given to the historical and mathematical origins of such efforts, as well as the main psychological and philosophical assumptions on which they depend.