Academia.eduAcademia.edu

Osservazioni sul numero e sulla computabilità

2017

Abstract

Questo saggio formula una semplice domanda: che cos'e la computazione? La nozione di algoritmo, macchina di Turing, funzione ricorsiva e Tesi di Church 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 e introdurre alla teoria della computabilita o descrivere le sue principali ramificazioni, bensi sviluppare una fenomenologia della computabilita, ossia un approccio alla computazione che non dipenda dalle nozioni di effective procedure o algoritmo. Il cuore della nostra argomentazione sara una rielaborazione del celebre esperimento mentale di Black sulle due sfere identiche ma discernibili. L'ipotesi proposta e duplice: a) l'atto del computare presuppone sempre un'interpretazione dell'identita – e cio implica che l'identita sia qualcosa di interpretabile; b) tale interpretazione mette in ...