در سال ۱۹۲۰ ویلهلم اکرمن و گابریل سودن، دو ریاضیدان دانشجوی داوید هیلبرت بر روی مبانی محاسبات مطالعه می کردند. سودن با تابع نه چندان معروفی که به نام خود ثبت کرد شناخته می شود. که این تابع از نوع بازگشتی چند ضابطه ای بوده.
مدتی بعد و به طور مستقل در سال ۱۹۲۸ اکرمن تابع بازگشتی خود که چندضابطه ای بود را ارائه داد.اکرمن ثابت کرد که ((A)) ((تابع اکرمن)) یک تابع بازگشتی است که یک رایانه یا پردازشگر با حافظه بی کران می تواند آن را محاسبه کند. اما یک تابع بازگشتی درجه اول مانند فاکتوریل یا تابع جمع نیست.
تابع اکرمن برای دو عدد صحیح و نا منفی m و n به صورت زیر تعریف می شود.
ممکن است در نگاه اول نتوان به راحتی جواب تابع اکرمن را تشخیص داد. در هر مرحله دو رویداد ممکن است رخ دهد:
مدتی بعد و به طور مستقل در سال ۱۹۲۸ اکرمن تابع بازگشتی خود که چندضابطه ای بود را ارائه داد.اکرمن ثابت کرد که ((A)) ((تابع اکرمن)) یک تابع بازگشتی است که یک رایانه یا پردازشگر با حافظه بی کران می تواند آن را محاسبه کند. اما یک تابع بازگشتی درجه اول مانند فاکتوریل یا تابع جمع نیست.
تابع اکرمن برای دو عدد صحیح و نا منفی m و n به صورت زیر تعریف می شود.
ممکن است در نگاه اول نتوان به راحتی جواب تابع اکرمن را تشخیص داد. در هر مرحله دو رویداد ممکن است رخ دهد:
wiki: تابع اکرمن