دالة أكرمان

Question book-new.svg
تعرَّف على طريقة التعامل مع هذه المسألة من أجل إزالة هذا القالب.يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوقة. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (ديسمبر 2018)
N write.svg
تعرَّف على طريقة التعامل مع هذه المسألة من أجل إزالة هذا القالب.هذه مقالة غير مراجعة. ينبغي أن يزال هذا القالب بعد أن يراجعها محرر مغاير للذي أنشأها؛ إذا لزم الأمر فيجب أن توسم المقالة بقوالب الصيانة المناسبة. يمكن أيضاً تقديم طلب لمراجعة المقالة في الصفحة المُخصصة لذلك. (مارس 2017)

في نظرية الحوسبة، دالة أكرمان، والتي سميت من بعد الرياضي الألماني فيلهلم أكرمان,  و هي من أحدث الامثلة المكتشفة على الدوال الحسابية التي ليست بدائية عودية. جميع الدوال البدائية العودية كاملة وقابلة للحساب، ولكن دالة أكرمان توضح أنه ليست كل الدوال الكلية القابلة للحساب بدائية عودية.

بعد نشر أكرمان لدالته (التي كانت لها ثلاث متغيرات صحيحة موجبة)، عدلها العديد من المؤلفين من بعده لتتناسب مع أغراضهم المختلفة، قد تشير "دالة أكرمان" إلى أي من الاشكال المختلفة للدالة الاصلية. واحدة من هاته الدوال وهي نسخة مشتركة فيما بينهم. وهي دالة أكرمان - بيتر ذات المتغيرين, وهي معرفة كما يلي:

قيمة هذه الدالة تتزايد بشكل كبير جدا حتى من اجل قيم متغيرات صغيرة، فمثلا A(4,2) عدد صحيح متكون من 19,729 رقم عشري.


E-to-the-i-pi.svg
هذه بذرة مقالة عن المنطق بحاجة للتوسيع. شارك في تحريرها.