يرجى مراجعة هذه المقالة وإزالة وسم المقالات غير المراجعة، ووسمها بوسوم الصيانة المناسبة.

دالة أكرمان

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

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

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

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

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