المنطق الرياضي

استخراج البراهين (Proof Mining)

دالة تي لكيني (Kleene’s T predicate)

النواة غير القابلة للإشباع (Unsatisfiable Core)

هرمية جنسن (Jensen Hierarchy)

نظرية تيننباوم (Tennenbaum’s Theorem)

حساب لامدا-مو (Lambda-mu calculus)

الإكراه (القابلية للحساب) (Forcing (Computability))

نظرية فرط الحسابية (Hyperarithmetical Theory)

Exit mobile version