Turing

Den vigtigste form for beregningsevne, der blev undersøgt i beregningsteori, blev introduceret af Turing (1936). En funktion f fra naturlige tal til n...