Church e le recensioni per il Journal of Symbolic Logic alla nascita della teoria matematica della calcolabilità

Uno strumento fondamentale di disseminazione dei risultati agli albori della logica matematica del ‘900 sono state le recensioni pubblicate a partire dal 1936, sul Journal of Symbolic Logic. In questo lavoro passiamo in rassegna le recensioni (“review”) relative alla nascente teoria della calcolabilità, scritte da tre dei più importanti pionieri dell’argomento: Alonzo Church, Stephen Cole Kleene e John Barkley Rossser. Dato l’interesse prevalente per i lavori relativi alle origini della teoria delle funzioni calcolabili, si è deciso di considerare solamente le recensioni pubblicate negli anni che vanno dal 1936, anno di fondazione del Journal of Symbolic Logic, agli anni precedenti la seconda guerra mondiale.