اخبار ویلهلم آکرمان

مهم‌ترین ماشینی که هرگز ساخته نشد
خبر آنلاین

مهم‌ترین ماشینی که هرگز ساخته نشد

خبر آنلاین - ۱۵ اردیبهشت ۱۴۰۲
محاسبات مفهومی آشنا است که بیشتر ما به‌طور شهودی آن را درک می‌کنیم. تابع (f(x) = x + ۳) را درنظر بگیرید که در آن وقتی مقدار x برابر سه باشد (f(۳) = ۳ + ۳)، جواب تابع شش می‌شود. بدیهی است که تابع توصیف‌شده قابل‌محاسبه است. اما برخی از... در سال ۱۹۲۸، دیوید هیلبرت و ویلهلم آکرمان، ریاضیدانان آلمانی مسئله‌ای به نام ﻣﺴﺌﻠﻪ ﺗﺼﻤﯿﻢ‌ﮔﯿﺮی (Entscheidungsproblem) را مطرح کردند