Translation examples
Lambdakalkyyli (engl. lambda calculus) on formaalin laskennan malli.
A value in Lambda Calculus is a function.
Lambdakalkyyli on Turing-täydellinen, eli sillä voidaan ilmaista mitä tahansa matemaattisia laskennan ongelmia.
Lambda calculus is Turing complete, that is, it is a universal model of computation that can be used to simulate any Turing machine.
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's approach is considerably more accessible and intuitive than Church's.
How many English words do you know?
Test your English vocabulary size, and measure how many words you know.
Online Test