Lambda calculus: Difference between revisions
Undo revision 680 by Cobsonwabag (talk)
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...") |
CreeperBomb (talk | contribs) (Undo revision 680 by Cobsonwabag (talk)) Tag: Undo |
||
| (One intermediate revision by one other user not shown) | |||
(No difference)
| |||