combinatorn.
/ˈkɒmbɪneɪtə/ 1. = combiner n. rare.
ΘΚΠ
society > society and the community > social relations > association for a common purpose > [noun] > group associated for common purpose > member of
chorister1387
leaguer1591
combinator1611
associator1613
combinant1628
combiner1638
federate1650
federator1693
band-brother1742
leagueist1762
leaguite1841
belonger1931
panel member1937
1611 J. Speed Hist. Great Brit. ix. xxiv. 834/2 The combinators [were] many that stood for Reformation.
1838 Fraser's Mag. 17 320 To hire patriots to slate recusant combinators at three shillings a-week.
2. Logic. Any one of the special operators in combinatory logic.
ΘΚΠ
the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > mathematical or symbolic logic > combinatory logic > element of
combinator1941
1930 H. B. Curry in Amer. Jrnl. Math. 52 526 Unter einem Kombinator verstehen wir eine Kombination von B, C, W und K.]
1941 H. B. Curry in Jrnl. Symbolic Logic VI. 54 (heading) Consistency and completeness of the theory of combinators.
1946 Mind 55 281 Part II is a systematic exposition of the logic of combinators as developed by Curry and Rosser.
This entry has not yet been fully updated (first published 1891; most recently modified version published online June 2021).
<
n.1611