Ricorsività, calcolabilità, complessità

Dalla definizione di algoritmo secondo Turing ha preso le mosse la teoria della complessità computazionale, che ha riaperto le grandi questioni legate alle parole "teoria" ed "episteme", due modi diversi di pervenire alla conoscenza. In genere, però, i problemi connessi con la conoscenza vengono affrontati usando tecniche miste in cui l'uomo assume un ruolo teoretico, mentre le macchine quello di validazione, cioè epistemico. Scopo del volume è quello di definire con un sufficiente grado di approfondimento lo stato dell'arte di questo campo della conoscenza scientifica.