Constructivity and Calculability in Historical and Philosophical Perspective
Résumé
Le livre couvre les quelque quatre-vingts ans qui vont du texte de Turing 1936 à aujourd'hui et s'attache plus particulièrement à deux aspects : les diverses généralisations et modifications apportées aux idées originales de Turing, la question de savoir dans quelle mesure la théorie de la récursion peut servir de fondement à la notion de fonction calculable
Loading...