Automatic theorem proving

As a first approximation to formulating the issues, consider a typical research project working on "automatic theorem proving".

The results of early artificial intelligence like automatic theorem proving, checker programs, packing bulding blocks in microworlds, in spite of unexpectedly fast and obvious successes, ...

See also: Complexity, Artificial intelligence