Abstract
(Italian) | Nel nostro studio noi seguiremo l'indirizzo logico-matematico del russo A, Markov che ha sviluppato una teoria generale degli algoritmi non numerici, confrontandola con una analoga teoria dei processi meccanici di calcolo precedentemente sviluppata da Turing e mostrandane l'equivalenza.
|