La nozione di algoritmo, macchina di Turing, funzione ricorsiva e Tesi di Church-Turing rappresentano i fondamenti dell’informatica teorica con applicazioni importanti nelle scienze cognitive, nelle grammatiche formali e in altri settori come il DNA Computing o il Quantum Computing.

Lo scopo del saggio non è introdurre a queste tematiche o alla teoria della computabilità nel suo insieme, bensì sviluppare una fenomenologia della computabilità che sappia individuare le radici pre-teoriche e pre-linguistiche della computazione intesa come forma embrionale della razionalità, umana e non.