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.