Introduzione epistemologica alla computabilità

Il saggio prende in esame l’evoluzione
e la sistemazione attuale della teoria
della computabilità, sia nel senso
della computazione “classica”,
sia nel senso della cosiddetta
“ipercomputazione”, con l’analisi
dei principali modelli utilizzati
in questi ambiti.

Inoltre, sono esaminate le connessioni
e le implicazioni che da queste
scaturiscono per le altre discipline
scientifiche, principalmente
in quelle formali ed in quelle fisiche.