lambda calculus oor Fins

lambda calculus

naamwoord

(computing theory) Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.

Vertalings in die woordeboek Engels - Fins

lambdakalkyyli

naamwoord

algebraic system

Lambdakalkyyli

formal system in mathematical logic

voorbeelde

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.
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.

Although Turing's proof was published shortly after Alonzo Church's equivalent proof using his lambda calculus, Turing had been unaware of Church's work.[25] Turing's approach is considerably more accessible and intuitive than Church's.
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.