Fondamenti, metodo e struttura
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.
Dentro trovi soprattutto matematica, fisica e chimica.
Può funzionare bene per studenti e appassionati di scienza, con un tono analitico e strutturato e un approccio impegnativo.
Funziona bene per chi vuole consolidare basi o affrontare il contenuto con un approccio più analitico che intuitivo.