#CS-6205
Awesome StudentQuestion • Automata Theory and Formal Language

challenged the mathematical community to find an infallible, mechanical method for constructing and checking truth of mathematical statements.

Answer

David Hilbert