دالة أكرمان - ويكيبيديا

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

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

${\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 رقم عشري.

هذه بذرة مقالة عن المنطق بحاجة للتوسيع. فضلًا شارك في تحريرها.