نظریه محاسبه‌پذیری و ترکیبیات نامتناهی