Combinator

 

In December 1920, M. Schönfinkel presented in a report to the Mathematical Society in Göttingen a new type of formal logic based on the concept of a generalized function whose argument is also a function (Schönfinkel 1924). This mathematical discipline was subsequently termed combinatory logic by Curry and "-conversion" or "-calculus" by Church. Combinators can be used in the study of algebra, topology, and category theory, and have found application in the study of programs in algorithmic languages.

---

REFERENCES

Barendregt, H. P. The Lambda Calculus. Amsterdam, Netherlands: North-Holland, 1981.

Curry, H. B. Foundations of Mathematical Logic. New York: Dover, pp. 118-119, 1977.

Curry, H. and Feys, R. Combinatory Logic, Vol. 1. Amsterdam, Netherlands: North-Holland, 1958.

Hindley, J. R.; Lercher, B.; Seldin, J. P. Introduction to Combinatory Logic. London: Cambridge University Press, 1972.

Hindley, J. R. and Seldin, J. P.Introduction to Combinators and lambda-Calculus.Cambridge, England: Cambridge University Press, 1986.

Holmes, M. R. "Systems of Combinatory Logic Related to Quine's 'New Foundations.' " Annals Pure Appl. Logic 53, 103-133, 1991.

Quine, W. V. "New Foundations for Mathematical Logic." Amer. Math. Monthly 44, 70-80, 1937.

Révész, G. E. Lambda-Calculus, Combinators, and Functional Programming. Cambridge, England: Cambridge University Press, 1988.

Seldin, J. P. and Hindley, J. R. (Eds.). To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. New York: Academic Press, 1980.

Smullyan, R. To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic. New York: Knopf, 1985.

Statman, R. "The Word Problem for Smullyan's Lark Combinator Is Decidable." J. Symb. Comput. 7, 103-112, 1989.Schönfinkel, M. "Über die Bausteine der mathematischen Logik." Math. Ann. 92, 305-316, 1924.

Schönfinkel, M. "Sur les éléments de construction de la logique mathématique." Math. Inform. Sci. Humaines, No. 112, 5-26 and 59, 1990.

[French translation with commentary.]Wolfram, S. A New Kind of Science. Champaign, IL: Wolfram Media, pp. 711-714 and 1121-1123, 2002.

اخر الاخبار

اخبار العتبة العباسية المقدسة

مؤتمر السيد المجاهد يشهد عرض فيلم وثائقي عن سيرته العلمية ومشروع إحياء تراثه

بحث حوزوي يتناول التمييز بين المعجزة والسحر عند السيد المجاهد

بحث يناقش أثر القواعد العقلية في استنباط الأحكام الشرعية عند السيد محمد المجاهد

بحث علمي يناقش ردود السيد المجاهد على اللغويين والنحويين في كتابه (مفاتيح الأصول)

المزيد

الآخبار الصحية

هل توقيت نشاطك اليومي يؤثر على صحة دماغك؟.. العلماء يجيبون

"مشروب محبوب" يخفي فوائد لا يعرفها كثيرون

طبيب يكشف 5 أنواع للسعال.. بعضها خطير

نقص فيتامينات "خفي".. قد يفسّر التعب والتنميل وقلة التركيز

المزيد

الآخبار التكنلوجية

دراسة: تغيّرات في أسلوب القيادة قد تكشف مبكرا عن الخرف !

عمرها 773 ألف سنة.. اكتشاف أقدم أحافير بشرية في المغرب

"اختراق علمي".. اختبار دم في منزلك قد يكشف ألزهايمر

ماذا يحدث للجسم عند قطع الكافيين فجأة؟

المزيد

مواضيع ذات صلة

Lemma

Proof

Zeno,s Paradoxes

Unexpected Hanging Paradox

Strange Loop

Sorites Paradox

Simpson,s Paradox

Russell,s Antinomy

Paradox

Newcomb,s Paradox

Missing Dollar Paradox

Line Point Picking