اخبار علوم نظری کامپیوتر

محاسبات مفهومی آشنا است که بیشتر ما به‌طور شهودی آن را درک می‌کنیم. تابع (f(x) = x + ۳) را درنظر بگیرید که در آن وقتی مقدار x برابر سه باشد (f(۳) = ۳ + ۳)، جواب تابع شش می‌شود. بدیهی است که تابع توصیف‌شده قابل‌محاسبه است. اما برخی از... با گذشت زمان، مسئله آن‌ها به تعریف رسمی محاسبه‌پذیری متنهی شد و به ریاضیدانان اجازه داد به انبوهی از مسائل جدید پاسخ دهند و اساس علوم نظری کامپیوتر را ایجاد کرد