Heuristics 1 versus algorithms
K. Vela Velupillai · 2017
In general, the machine’s problem solving is much more elegant when it works with a selected list of strategic theorems than when it tries to remember and use all the previous theorems in [ Principia Mathematica ].