La solution au 18ème problème de S. Smale

Sur la base de l'analyse de l'histoire des découvertes scientifiques, ainsi que des données de la psychologie cognitive et de la théorie de l'intellect artificiel, il est établi que les principaux facteurs excluant le caractère algorithmique de l'activité créative en science sont la nature probabiliste de la conclusion inductive, la méthode d'essai et d'erreur (méthode de recherche séquentielle), le facteur de cas dans la découverte scientifique et le théorème d'incomplétude de Gedel. Cela nous permet de résoudre le 18e problème de S. Smeil : quelles sont les limites de l'intelligence, à la fois artificielle et humaine ?