پارادوکس کلینی راسر

در ریاضیات تناقض کلینی-راسر (به انگلیسی: Kleene–Rosser paradox) یک تناقض است که نشان می دهد سامانه های خاصی در منطق ریاضی سازگار نیستند. به صورت دقیق تر منطق ترکیبی کاری (معرفی شده در ۱۹۳۰) و جبر لاندای اصلیِ چرچ (معرفی شده در ۱۹۳۳) که در ابتدا قرار بود سامانهٔ منطق صوری را توضیح بدهند، ناسازگارند. این تناقض توسط استیون کلینی و جان راسر در سال ۱۹۳۵ نشان داده شد.
فهرست پارادوکس ها