Questions tagged [general-problem-solver]

For questions related to the general problem solver, a computer program created in 1959 by Herbert A. Simon, J. C. Shaw, and Allen Newell.

Filter by
Sorted by
Tagged with
0
votes
1answer
54 views

When will we have computer programs that can compose mathematical proofs?

When will it be possible to give a computer program a bunch of assumptions and ask it if a certain statement is true or false, giving a proof or a counterexample respectively?