Description:fostered by the press and some artificial intelligence re- searchers, that these simple able progress has been made in fulfilling his second pre- diction. game of chess and suggestions as to how they might be met. He found that . and-error, proved 38 out of 52 theorems from Principia. Mathematica