A solução para o 18º problema do S. Smale

Com base na análise da história das descobertas científicas, e também dos dados da psicologia cognitiva e da teoria do intelecto artificial, estabelece-se que os principais factores que excluem o carácter algorítmico da actividade criativa na ciência são a natureza probabilística da conclusão indutiva, o método de tentativa e erro (método de busca sequencial), o factor de caso na descoberta científica e o teorema de incompletude de Gedel. Isto permite-nos resolver o 18º problema de S. Smeil: quais são os limites da inteligência, tanto artificial como humana?