Lambda calculus: Difference between revisions
Jump to navigation
Jump to search
Created page with "Lambda calculus is a simple system of computation introduced by Alonzo Church. in which functions, and the operations of abstraction and application, act as primitive operations and objects. Natural numbers can be encoded in the lambda calculus using a system known as Church numerals. It's been proven that lambda calculus and Turing machines are able to compute the same processes, which led to the independently formulated Church-Turing thesis that all Turing-complete..."
RhubarbJayde (talk | contribs) (Created page with "Lambda calculus is a simple system of computation introduced by Alonzo Church. in which functions, and the operations of abstraction and application, act as primitive operations and objects. Natural numbers can be encoded in the lambda calculus using a system known as Church numerals. It's been proven that lambda calculus and Turing machines are able to compute the same processes, which led to the independently formulated Church-Turing thesis that all Turing-complete...") |
(No difference)
|