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.