L'inconsistenza del numero. Ipotesi sulla natura della computabilità

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 prelinguistiche della computazione intesa come forma embrionale della razionalità, umana e non.