العربية
العودة إلى الخط الزمني

حساب لامدا

الحقبة: النظرية المبكرة · عقد ١٩٣٠–عقد ١٩٥٠

اقترح ألونزو تشرتش حساب لامدا، وهو نسق صوري لتعريف الدوال وتطبيقها. ويُعدّ حساب لامدا الأساس النظري للبرمجة الدالّية. وكان حساب لامدا الأصلي لعام ١٩٣٦ بلا أنواع؛ ثم أضاف تشرتش الأنواع البسيطة عام ١٩٤٠ في «A Formulation of the Simple Theory of Types»، فصنع واحدًا من أقدم الأنساق ذات الأنواع الصريحة.

ألونزو تشرتش (١٩٠٣–١٩٩٥)

الحالة
متحقَّق منه
نوع المحتوى
fact
آخر مراجعة للمصادر

المصادر وما تسنده

  1. An Unsolvable Problem of Elementary Number Theory

    American Journal of Mathematics · نوع المصدر: paper

    Church’s 1936 paper presents lambda-definability and undecidability.

    تاريخ النشر: ·تاريخ الاطلاع: