Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell...
41 KB (5,243 words) - 13:58, 25 August 2024
Binary combinatory logic (BCL) is a computer programming language that uses binary terms 0 and 1 to create a complete formulation of combinatory logic using...
5 KB (413 words) - 15:44, 24 January 2024
Curry–Howard correspondence (category Logic in computer science)
to the typed fragment of a standard model of computation known as combinatory logic. In 1969 Howard observes that another, more "high-level" proof system...
56 KB (6,174 words) - 01:56, 21 August 2024
American mathematician and logician. Curry is best known for his work in combinatory logic, whose initial concept is based on a paper by Moses Schönfinkel, for...
13 KB (1,283 words) - 03:23, 20 June 2024
B, C, K, W system (category Combinatory logic)
The B, C, K, W system is a variant of combinatory logic that takes as primitive the combinators B, C, K, and W. This system was discovered by Haskell...
4 KB (533 words) - 02:12, 15 June 2024
structure grammar (as opposed to a dependency grammar). CCG relies on combinatory logic, which has the same expressive power as the lambda calculus, but builds...
10 KB (1,349 words) - 12:01, 24 May 2024
combinator. Hence combinatory logic goes beyond first-order logic by having the expressive power of set theory, which makes combinatory logic vulnerable to...
20 KB (3,078 words) - 07:15, 21 June 2024
Curry's paradox (category Mathematical logic)
logics, including certain forms of set theory, lambda calculus, and combinatory logic. The paradox is named after the logician Haskell Curry, who wrote...
16 KB (2,428 words) - 14:13, 27 June 2024
1942 (1943)) was a logician and mathematician, known for the invention of combinatory logic. Moses Schönfinkel was born on (1888-09-29)29 September 1888 in Ekaterinoslav...
10 KB (941 words) - 21:02, 26 May 2024
SKI combinator calculus (category Combinatory logic)
The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language, though...
18 KB (2,373 words) - 08:13, 18 July 2024
functional programming languages. An equivalent theoretical formulation, combinatory logic, was developed by Moses Schönfinkel and Haskell Curry in the 1920s...
86 KB (8,564 words) - 18:54, 17 August 2024
Lambda calculus (section Logic and predicates)
formal systems are related to lambda calculus: Combinatory logic – A notation for mathematical logic without variables SKI combinator calculus – A computational...
86 KB (11,552 words) - 04:59, 28 August 2024
Fixed-point combinator (category Combinatory logic)
In combinatory logic for computer science, a fixed-point combinator (or fixpoint combinator),: p.26 is a higher-order function (i.e. a function which...
32 KB (4,392 words) - 21:51, 2 September 2024
To Mock a Mockingbird (category Combinatory logic)
To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic (1985, ISBN 0-19-280142-2) is a book by the mathematician...
4 KB (383 words) - 16:09, 14 July 2024
Intuitionistic type theory BHK interpretation Curry–Howard correspondence Linear logic Game semantics Typed lambda calculus Typed and untyped languages Type signature...
4 KB (205 words) - 12:10, 30 October 2023
memoization on a class webpage. Memoization in Combinatory Logic – A web service to reduce Combinatory Logic while memoizing every step in a database. MbCache...
30 KB (3,744 words) - 00:20, 17 July 2024
Raymond Smullyan (section Logic problems)
recreational introduction to the subject of combinatory logic. Apart from writing about and teaching logic, Smullyan released a recording of his favorite...
23 KB (2,800 words) - 20:35, 23 May 2024
combinator Y has normal form in combinatory logic but not in λ {\displaystyle \lambda } -calculus). Combinatory logic was developed with great ambitions:...
18 KB (2,168 words) - 17:28, 25 July 2024
to the theory of structured programming, constructive mathematics, combinatory logic, lambda calculus, and the semantics and implementation of functional...
5 KB (480 words) - 14:49, 19 July 2024
respects include: Combinatory logic, having the expressive power of set theory; Relation algebra, arguably the paradigmatic algebraic logic, can express Peano...
19 KB (2,222 words) - 23:08, 23 August 2024
Hilbert system (section Propositional logic)
Science Logic. Berlin, Heidelberg: Springer: 152. doi:10.1007/BFb0022253. ISBN 978-3-540-49404-1. Curry, Haskell B.; Robert Feys (1958). Combinatory Logic Vol...
28 KB (3,613 words) - 07:40, 6 September 2024
(codomain of the) subobject classifier of an elementary topos. In combinatory logic, the looping combinator, (S I I (S I I)) In group theory, the omega...
16 KB (1,729 words) - 16:25, 3 September 2024
Kleene–Rosser paradox (category Mathematical logic stubs)
that certain systems of formal logic are inconsistent, in particular the version of Haskell Curry's combinatory logic introduced in 1930, and Alonzo Church's...
2 KB (185 words) - 18:30, 30 January 2023
combinator Y has normal form in combinatory logic but not in λ {\displaystyle \lambda } -calculus). Combinatory logic was developed with great ambitions:...
21 KB (3,293 words) - 19:16, 22 May 2024
typed lambda calculus representations of the basic combinators of combinatory logic. Each type τ {\displaystyle \tau } is assigned an order, a number...
33 KB (4,587 words) - 10:39, 14 August 2024
S (disambiguation) (section Mathematics and logic)
mathematics to denote integrals and antiderivatives S combinator in combinatory logic Sphere s(n), the aliquot sum of an integer n Sulfur, symbol S, a chemical...
6 KB (783 words) - 19:33, 5 June 2024
{\displaystyle \Psi } represents: water potential a quaternary combinator in combinatory logic a symbol for psychology ψ {\displaystyle \psi } represents: the wave...
37 KB (3,440 words) - 14:30, 7 September 2024
programmers, represented by Cartesian closed category and embedded into the combinatory logic. CAM is a transparent and sound mathematical representation for the...
3 KB (349 words) - 14:41, 10 May 2022