Combinatory logic



logic
A system for reducing the operational notation of logic, mathematics or a functional language to a sequence of modifications to the input data structure. First introduced in the 1920’s by Schoenfinkel. Re-introduced independently by Haskell Curry in the late 1920’s (who quickly learned of Schoenfinkel’s work after he had the idea). Curry is really responsible for most of the development, at least up until work with Feys in 1958.
See combinator.
(1995-01-05)

Tagged:

Read Also:

  • Combine

    [verb kuh m-bahyn for 1, 2, 6, kom-bahyn for 3, 7; noun kom-bahyn, kuh m-bahyn for 8, 9, kom-bahyn for 10] /verb kəmˈbaɪn for 1, 2, 6, ˈkɒm baɪn for 3, 7; noun ˈkɒm baɪn, kəmˈbaɪn for 8, 9, ˈkɒm baɪn for 10/ verb (used with object), combined, combining. 1. to bring into or join […]

  • Combined

    [kuh m-bahynd] /kəmˈbaɪnd/ adjective 1. made by ; joined; united, as in a chemical compound. 2. taken as a whole or considered together; in the aggregate: outselling all other brands combined. [verb kuh m-bahyn for 1, 2, 6, kom-bahyn for 3, 7; noun kom-bahyn, kuh m-bahyn for 8, 9, kom-bahyn for 10] /verb kəmˈbaɪn for […]



  • Combined glaucoma

    combined glaucoma n. Glaucoma with angle-closure and open-angle mechanisms in the same eye.

  • Combined immunodeficiency

    combined immunodeficiency n. Immunodeficiency of both the B-cells and T-cells.



Disclaimer: Combinatory logic definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.