Metadata
Author: WikiMatrix
Data
English[en]
Although Turing's proof was published shortly after Alonzo Church's equivalent proof using his lambda calculus, Turing's approach is considerably more accessible and intuitive than Church's.
Finnish[fi]
Vaikka hänen todistuksensa julkaistiinkin vasta sen jälkeen, kun Alonzo Church oli tehnyt vastaavan todistuksen lambdakalkyylinsä suhteen, Turingin teos on huomattavasti helpommin lähestyttävissä ja intuitiivisempi.