دالة أكرمان

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

هذه مقالة غير مراجعة. ينبغي أن يزال هذا القالب بعد أن يراجعها محرر مغاير للذي أنشأها؛ إذا لزم الأمر فيجب أن توسم المقالة بقوالب الصيانة المناسبة. يمكن أيضاً تقديم طلب لمراجعة المقالة في الصفحة المُخصصة لذلك. (مارس 2017)

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

${\displaystyle A(m,n)={\begin{cases}n+1&{\mbox{if }}m=0\\A(m-1,1)&{\mbox{if }}m>0{\mbox{ and }}n=0\\A(m-1,A(m,n-1))&{\mbox{if }}m>0{\mbox{ and }}n>0.\end{cases}}}$

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