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?