Lambda calculus: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

25 March 2024

1 September 2023

  • curprev 12:3912:39, 1 September 2023‎ RhubarbJayde talk contribs‎ 818 bytes +818‎ 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..." Tag: Visual edit
Retrieved from "https://apeirology.com/wiki/Lambda_calculus"