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

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

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

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

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