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

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

جستارهای وابسته

• فهرست پارادوکس‌ها

منابع

• Andrea Cantini, "The inconsistency of certain formal logics", in the Paradoxes and Contemporary Logic entry of Stanford Encyclopedia of Philosophy (2007).
• Kleene, S. C. & Rosser, J. B. (1935). "The inconsistency of certain formal logics". Annals of Mathematics. 36 (3): 630–636. doi:10.2307/1968646.