La soluzione al 18° problema di S. Smale

Sulla base dell'analisi della storia delle scoperte scientifiche, e anche dei dati della psicologia cognitiva e della teoria dell'intelletto artificiale è stabilito che i principali fattori che escludono il carattere algoritmico dell'attività creativa nella scienza sono la natura probabilistica della conclusione induttiva, il metodo della prova e dell'errore (metodo della ricerca sequenziale), il fattore di caso nella scoperta scientifica e il teorema di incompletezza di Gedel. Questo ci permette di risolvere il 18° problema di S. Smeil: quali sono i limiti dell'intelligenza, sia artificiale che umana?