În acest articol, autorul folosește argumente bazate pe calculul lambda ca să arate de ce software-ul nu poate fi patentat.
In this article, the author uses arguments based on lambda calculus to show why software cannot be patented.
Logica combinatorică este percepută ca fiind mai abstractă decât calculul lambda și a fost inventată înaintea acestuia.
An equivalent theoretical formulation, combinatory logic, is commonly perceived as more abstract than lambda calculus and preceded it in invention.
Deși demonstrația sa a fost publicată după demonstrația similară a lui Alonzo Church valabilă pentru calculul lambda, lucrarea lui Turing este mai accesibilă și mai intuitivă.
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. Turing's approach is considerably more accessible and intuitive than Church's.
Deși demonstrația lui Turing a fost publicată la scurt timp după o demonstrație echivalentă a lui Alonzo Church care a dezvoltat și a folosit calculul lambda(en), Turing nu cunoștea lucrarea lui Church.
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.
Calculul lambda reprezintă contextul teoretic al descrierii și evaluării funcțiilor.
Lambda calculus provides a theoretical framework for describing functions and their evaluation.
Inspirat de calculul lambda, interpreter pentru limbajul de programare Lisp face uz de o structură de date numită mediu în felul că valoarea parametrilor nu trebuie să fie substituită în corpul expresiilor lambda invocate.
Inspired by the lambda calculus, the interpreter for the programming language Lisp made use of a data structure called an environment so that the values of parameters did not have to be substituted into the body of an invoked lambda expression.
Bazat pe calculul lambda, LISP a devenit rapid limbajul de programare preferat pentru aplicații de IA după ce a fost publicat de McCarthy în 1960.
Based on the lambda calculus, Lisp soon became the programming language of choice for AI applications after its publication in 1960.
Church și Turing au demonstrat apoi că calculul lambda și mașina Turing utilizată în problema opririi a lui Turing sunt echivalente în capabilități, și, ulterior, a demonstrat o varietate de "procese mecanice de calcul" alternative. Acest lucru a dus la teza Church-Turing.
Church and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative "mechanical processes for computation."
Calculul lambda a influențat designul limbajului de programare LISP și limbajele de programare funcțională în general.
The lambda calculus influenced the design of the LISP programming language and functional programming languages in general.
Calculul lambda, apărut în lucrarea sa din 1936 demonstrează nerezolvabilitatea problemei deciziei.
The lambda calculus emerged in his 1936 paper showing the unsolvability of the Entscheidungsproblem.
Calculul Lambda al lui Alonzo Church poate fi văzut ca cel dintâi limbaj de programare bazat pe transmiterea mesajelor (message passing). (vezi Hewitt, Bishop, and Steiger 1973; Abelson and Sussman 1985).
The lambda calculus of Alonzo Church can be viewed as the earliest message passing programming language (see Hewitt, Bishop, and Steiger 1973; Abelson and Sussman 1985).
