Ricorsività, calcolabilità, complessità - 9788854800472

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.
From the definition of the algorithm according to Turing has taken the moves the theory of computational complexity, which reopened the big questions related to the words "theory" and "Episteme", two different ways of reaching knowledge. In General, however, the problems connected with the knowledge are addressed using mixed techniques in which the man assumes a theoretical role, while the machines that of validation, that is epistemic. The Purpose of the book is to define with a sufficient degree of study the state of the art of this field of scientific knowledge.