Filosofia e computer: algoritmo e pensiero

I concetti della filosofia appaiono spesso vaghi ed elusivi agli occhi dello scienziato. La scienza si avvale tuttavia di tecniche in cui si possono talvolta riconoscere pensieri che appartengono alle origini più remote del discorso filosofico. D’altra parte ci sono pure concetti intuitivi, nel ragionamento scientifico, che richiedono ancora di essere chiariti, e per i quali potrebbe essere utile tener conto della terminologia filosofica. Questo sembra accadere, in modo sorprendente, nella teoria matematica della calcolabilità, sia per gli aspetti teorico-fondazionali, sia per gli aspetti più applicativi pertinenti alla scienza del calcolo.