Do que os matemáticos precisavam para descobrir quais problemas matemáticos poderiam ser resolvidos por um método efetivo?